Free Software Foundation!

Join now

Bfloop

From Free Software Directory
Revision as of 08:16, 12 April 2011 by WikiSysop (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation,
[edit]

Bfloop

http://www.bamsoftware.com/software/bfloop/
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

LicenseVerified byVerified onNotes
GPLv3 with exceptionKelly Hopkins11 January 2010
ExpatKelly Hopkins11 January 2010



Leaders and contributors

Contact(s)Role
David Fifield Maintainer


Resources and communication

Audience Resource type URI
Developer VCS Repository Webview http://www.bamsoftware.com/bzr/bfloop
Support E-mail mailto:david@bamsoftware.com


Software prerequisites

This entry (in part or in whole) was last reviewed on 13 March 2012.



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.


Personal tools
Namespaces

Variants
Actions
Navigation
Contribute