Statements (20)
Predicate | Object |
---|---|
gptkbp:instanceOf |
string rewriting system
|
gptkbp:countryOfOrigin |
gptkb:Soviet_Union
|
gptkbp:field |
gptkb:mathematics
theoretical computer science |
gptkbp:hasComponent |
gptkb:alphabet
gptkb:rulebook initial word terminal rules |
gptkbp:hasProperty |
gptkb:Turing_completeness
|
https://www.w3.org/2000/01/rdf-schema#label |
Markov algorithm
|
gptkbp:introducedIn |
1951
|
gptkbp:inventedBy |
gptkb:Andrey_Markov_Jr.
|
gptkbp:namedAfter |
gptkb:Andrey_Markov
|
gptkbp:relatedTo |
gptkb:Post_canonical_system
gptkb:Thue_system string rewriting |
gptkbp:usedFor |
formal language theory
computation theory |
gptkbp:bfsParent |
gptkb:Andrey_Markov_Jr.
|
gptkbp:bfsLayer |
6
|