Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Post_canonical_system> ?p ?o }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Post_canonical_system abstract "A Post canonical system, as created by Emil Post, is a string-manipulation system that starts with finitely-many strings and repeatedly transforms them by applying a finite set j of specified rules of a certain form, thus generating a formal language. Today they are mainly of historical relevance because every Post canonical system can be reduced to a string rewriting system (semi-Thue system), which is a simpler formulation. Both formalisms are Turing complete.".
- Post_canonical_system wikiPageID "13995373".
- Post_canonical_system wikiPageLength "4884".
- Post_canonical_system wikiPageOutDegree "20".
- Post_canonical_system wikiPageRevisionID "692164219".
- Post_canonical_system wikiPageWikiLink %5D%5B.
- Post_canonical_system wikiPageWikiLink American_Journal_of_Mathematics.
- Post_canonical_system wikiPageWikiLink Category:Formal_languages.
- Post_canonical_system wikiPageWikiLink Category:Models_of_computation.
- Post_canonical_system wikiPageWikiLink Chomsky_hierarchy.
- Post_canonical_system wikiPageWikiLink Emil_Leon_Post.
- Post_canonical_system wikiPageWikiLink Formal_grammar.
- Post_canonical_system wikiPageWikiLink Formal_language.
- Post_canonical_system wikiPageWikiLink Marvin_Minsky.
- Post_canonical_system wikiPageWikiLink Recursively_enumerable_set.
- Post_canonical_system wikiPageWikiLink Semi-Thue_system.
- Post_canonical_system wikiPageWikiLink Tag_system.
- Post_canonical_system wikiPageWikiLink Turing_completeness.
- Post_canonical_system wikiPageWikiLinkText "Post canonical system".
- Post_canonical_system wikiPageUsesTemplate Template:Mvar.
- Post_canonical_system subject Category:Formal_languages.
- Post_canonical_system subject Category:Models_of_computation.
- Post_canonical_system hypernym System.
- Post_canonical_system type Language.
- Post_canonical_system type Model.
- Post_canonical_system type Combinatoric.
- Post_canonical_system type Language.
- Post_canonical_system type Method.
- Post_canonical_system type Model.
- Post_canonical_system comment "A Post canonical system, as created by Emil Post, is a string-manipulation system that starts with finitely-many strings and repeatedly transforms them by applying a finite set j of specified rules of a certain form, thus generating a formal language. Today they are mainly of historical relevance because every Post canonical system can be reduced to a string rewriting system (semi-Thue system), which is a simpler formulation. Both formalisms are Turing complete.".
- Post_canonical_system label "Post canonical system".
- Post_canonical_system sameAs Q7233738.
- Post_canonical_system sameAs Sistema_canônico_de_Post.
- Post_canonical_system sameAs m.03cqh2t.
- Post_canonical_system sameAs Числення_Поста.
- Post_canonical_system sameAs Q7233738.
- Post_canonical_system wasDerivedFrom Post_canonical_system?oldid=692164219.
- Post_canonical_system isPrimaryTopicOf Post_canonical_system.