Saturday, July 21, 2012

Non-Turing-Complete languages

''Practical non-Turing-complete languages?'' [source]

''... BlooP and FlooP are simple programming languages designed by Douglas Hofstadter to illustrate a point in his book Gödel, Escher, Bach.BlooP is anon-Turing-complete programming language whose main control flow structure is a bounded loop (i.e. recursion is not permitted). All programs in the language must terminate, and this language can only express primitive recursive functions.'' [source]

Perhaps the many editor and environments to define games in a high-level fashion can also be considered non-TC languages :)

No comments:

Post a Comment