Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/BlooP_and_FlooP> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples per page.
- BlooP_and_FlooP abstract "BlooP and FlooP are simple programming languages designed by Douglas Hofstadter to illustrate a point in his book Gödel, Escher, Bach. BlooP is a non-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.FlooP is identical to BlooP except that it supports unbounded loops; it is a Turing-complete language and can express all computable functions. For example, it can express the Ackermann function, which (not being primitive recursive) cannot be written in BlooP. Borrowing from standard terminology in mathematical logic, Hofstadter calls FlooP's unbounded loops MU-loops. Like all Turing-complete programming languages, FlooP suffers from the halting problem: programs might not terminate, and it is not possible, in general, to decide which programs do.BlooP and FlooP can be regarded as models of computation, and have sometimes been used in teaching computability.".
- BlooP_and_FlooP wikiPageExternalLink retro.
- BlooP_and_FlooP wikiPageExternalLink wiki?BloopFloopAndGloop.
- BlooP_and_FlooP wikiPageExternalLink cep.pl?_key=BLooP.
- BlooP_and_FlooP wikiPageExternalLink cep.pl?_key=FLooP.
- BlooP_and_FlooP wikiPageExternalLink bloop.
- BlooP_and_FlooP wikiPageID "436718".
- BlooP_and_FlooP wikiPageLength "5901".
- BlooP_and_FlooP wikiPageOutDegree "23".
- BlooP_and_FlooP wikiPageRevisionID "679512544".
- BlooP_and_FlooP wikiPageWikiLink Ackermann_function.
- BlooP_and_FlooP wikiPageWikiLink Assignment_(computer_science).
- BlooP_and_FlooP wikiPageWikiLink Category:Educational_programming_languages.
- BlooP_and_FlooP wikiPageWikiLink Category:Experimental_programming_languages.
- BlooP_and_FlooP wikiPageWikiLink Computable_function.
- BlooP_and_FlooP wikiPageWikiLink Conditional_(computer_programming).
- BlooP_and_FlooP wikiPageWikiLink Control_flow.
- BlooP_and_FlooP wikiPageWikiLink Counter-machine_model.
- BlooP_and_FlooP wikiPageWikiLink Douglas_Hofstadter.
- BlooP_and_FlooP wikiPageWikiLink Gödel,_Escher,_Bach.
- BlooP_and_FlooP wikiPageWikiLink Gödel_numbering_for_sequences.
- BlooP_and_FlooP wikiPageWikiLink Halting_problem.
- BlooP_and_FlooP wikiPageWikiLink Machine_that_always_halts.
- BlooP_and_FlooP wikiPageWikiLink Mathematical_logic.
- BlooP_and_FlooP wikiPageWikiLink Model_of_computation.
- BlooP_and_FlooP wikiPageWikiLink Operator_(computer_programming).
- BlooP_and_FlooP wikiPageWikiLink Primitive_recursive_function.
- BlooP_and_FlooP wikiPageWikiLink Programming_language.
- BlooP_and_FlooP wikiPageWikiLink Recursion_(computer_science).
- BlooP_and_FlooP wikiPageWikiLink Turing_completeness.
- BlooP_and_FlooP wikiPageWikiLink Variable_(computer_science).
- BlooP_and_FlooP wikiPageWikiLinkText "BlooP and FlooP".
- BlooP_and_FlooP wikiPageWikiLinkText "BlooP".
- BlooP_and_FlooP wikiPageWikiLinkText "Bloop".
- BlooP_and_FlooP wikiPageWikiLinkText "FlooP".
- BlooP_and_FlooP wikiPageUsesTemplate Template:Douglas_Hofstadter.
- BlooP_and_FlooP wikiPageUsesTemplate Template:Reflist.
- BlooP_and_FlooP subject Category:Educational_programming_languages.
- BlooP_and_FlooP subject Category:Experimental_programming_languages.
- BlooP_and_FlooP hypernym Languages.
- BlooP_and_FlooP type Language.
- BlooP_and_FlooP type Language.
- BlooP_and_FlooP type Redirect.
- BlooP_and_FlooP comment "BlooP and FlooP are simple programming languages designed by Douglas Hofstadter to illustrate a point in his book Gödel, Escher, Bach. BlooP is a non-Turing-complete programming language whose main control flow structure is a bounded loop (i.e. recursion is not permitted).".
- BlooP_and_FlooP label "BlooP and FlooP".
- BlooP_and_FlooP sameAs Q4927494.
- BlooP_and_FlooP sameAs m.028d2c.
- BlooP_and_FlooP sameAs Q4927494.
- BlooP_and_FlooP wasDerivedFrom BlooP_and_FlooP?oldid=679512544.
- BlooP_and_FlooP isPrimaryTopicOf BlooP_and_FlooP.