Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:string_rewriting_system
|
| gptkbp:countryOfOrigin |
gptkb:Soviet_Union
|
| gptkbp:field |
gptkb:theoretical_computer_science
gptkb:mathematics |
| gptkbp:hasComponent |
gptkb:alphabet
gptkb:rulebook initial word terminal rules |
| gptkbp:hasProperty |
gptkb:Turing_completeness
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Markov algorithm
|