Bfloop

From Free Software Directory
 
Jump to: navigation, search


[edit]

Bfloop

http://www.bamsoftware.com/software/bfloop/
An interpreter for the BLooP and FLooP programming languages.

bfloop is an interpreter for the BLooP and FLooP programming languages described in the book Gödel, Escher, Bach by Douglas Hofstadter.

BLooP is a language that has only bounded loops, in other words before you enter a loop you have to give a fixed upper limit on the number of times to run the body, and you can’t change the limit while in the loop. It is impossible for a BLooP program to run forever; it always quits with an output in some finite time, an upper limit for which is predictable in advance. Functions that BLooP can compute are called primitive recursive functions, and it turns out that not all functions are primitive recursive. The FLooP language is the same as BLooP with the addition of an unbounded loop (MU-LOOP). FLooP can calculate anything your computer can calculate, but you cannot say in general whether a FLooP program will eventually terminate.





Licensing

License

Verified by

Verified on

Notes

License

Expat

Verified by

Kelly Hopkins

Verified on

11 January 2010

Verified by

Kelly Hopkins

Verified on

11 January 2010




Leaders and contributors

Contact(s)Role
David Fifield Maintainer


Resources and communication

AudienceResource typeURI
SupportE-mailmailto:david@bamsoftware.com
DeveloperVCS Repository Webviewhttp://www.bamsoftware.com/bzr/bfloop


Software prerequisites




Entry























Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.