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:syntax gptkb:Kleene_star gptkb:CYK_algorithm gptkb:intersection gptkb:Myhill-Nerode_theorem gptkb:LR_parser Technical Machine determinism finite automaton Union ambiguity context-free grammar homomorphism pushdown automaton normal form complementation decidability derivation finite state machine 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 |
| https://www.w3.org/2000/01/rdf-schema#label |
Language theory
|
| 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
|