''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 :)
Saturday, July 21, 2012
Non-Turing-Complete languages
By at 19:03
Section: EverGreen, Personal, Programming languages, Software
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment