Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:formal_semantics
gptkb:rewriting_system |
| gptkbp:canBeUsedToDefine |
formal languages
computational problems |
| gptkbp:generalizes |
gptkb:string_rewriting_system
|
| gptkbp:hasComponent |
gptkb:alphabet
set of production rules |
| gptkbp:introduced |
gptkb:Axel_Thue
|
| gptkbp:introducedIn |
1914
|
| gptkbp:namedAfter |
gptkb:Axel_Thue
|
| gptkbp:relatedTo |
gptkb:Thue_system
word problem string rewriting |
| gptkbp:usedIn |
formal language theory
theory of computation |
| gptkbp:bfsParent |
gptkb:Thue_system
|
| gptkbp:bfsLayer |
8
|
| http://www.w3.org/2000/01/rdf-schema#label |
semi-Thue system
|