Statements (67)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
|
| gptkbp:appliesTo |
gptkb:mathematics
computer science |
| gptkbp:concerns |
rules for string formation
|
| gptkbp:fieldOfStudy |
linguistics
|
| gptkbp:hasConcept |
gptkb:Chomsky_hierarchy
gptkb:alphabet gptkb:finite_automaton gptkb:syntax gptkb:Kleene_star gptkb:Technical_Machine gptkb:CYK_algorithm gptkb:intersection gptkb:Myhill-Nerode_theorem gptkb:context-free_grammar gptkb:LR_parser gptkb:finite_state_machine gptkb:Union determinism ambiguity homomorphism pushdown automaton normal form complementation decidability derivation nondeterminism regular grammar production rule syntax-directed translation acceptor concatenation ambiguity resolution parse tree context-sensitive grammar epsilon transition language class minimization pumping lemma recognizer unrestricted grammar LL parser closure property derivation tree language equivalence language operation leftmost derivation parse parse algorithm recognizability regular expression rightmost derivation syntax tree |
| gptkbp:includes |
context-free languages
context-sensitive languages recursively enumerable languages regular languages |
| gptkbp:relatedTo |
gptkb:syntax
automata theory formal languages |
| gptkbp:studies |
structure of languages
|
| gptkbp:usedIn |
gptkb:programming_language
natural language processing compiler design |
| gptkbp:bfsParent |
gptkb:Transformational_grammar
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Language theory
|