Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:formal_semantics
|
| gptkbp:application |
gptkb:decision_problems
formal language generation |
| gptkbp:field |
gptkb:theoretical_computer_science
gptkb:mathematics formal language theory |
| gptkbp:hasComponent |
gptkb:alphabet
set of strings set of production rules |
| gptkbp:introducedIn |
1914
|
| gptkbp:namedAfter |
gptkb:Axel_Thue
|
| gptkbp:property |
Turing complete
|
| gptkbp:relatedTo |
gptkb:rewriting_system
gptkb:semi-Thue_system gptkb:word_problem_for_semigroups |
| gptkbp:usedFor |
studying computability
string rewriting |
| gptkbp:bfsParent |
gptkb:Markov_algorithm
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Thue system
|