Statements (102)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
gptkb:academic |
| gptkbp:appliesTo |
gptkb:artificial_intelligence
gptkb:programming_language natural language processing compiler construction |
| gptkbp:hasConcept |
gptkb:generator
gptkb:theoretical_computer_science gptkb:Rice's_theorem gptkb:alphabet gptkb:language gptkb:syntax gptkb:Kleene_star gptkb:Technical_Machine gptkb:string gptkb:Chomsky_normal_form gptkb:Greibach_normal_form gptkb:Myhill-Nerode_theorem gptkb:context-free_grammar gptkb:linear_bounded_automaton gptkb:finite_state_machine gptkb:recognition determinism ambiguity pushdown automaton transition function decidability complexity computability derivation nondeterminism recursively enumerable language regular grammar nonterminal symbol production rule terminal symbol parse tree accepting state closure properties context-sensitive grammar emptiness problem epsilon transition equivalence problem language class minimization pumping lemma recognizer recursive language start symbol unrestricted grammar recursively enumerable set language equivalence leftmost derivation parse rightmost derivation syntax tree ambiguity problem context-free set context-sensitive set decidable language empty language epsilon (empty string) finite language infinite language language complement language concatenation language difference language homomorphism language inclusion language intersection language union membership problem minimization problem regular set undecidable language universal language universality problem |
| gptkbp:keyFigure |
gptkb:Dana_Scott
gptkb:Michael_Rabin gptkb:Noam_Chomsky gptkb:Stephen_Kleene gptkb:Jeffrey_Ullman gptkb:John_E._Hopcroft |
| gptkbp:relatedTo |
gptkb:Chomsky_hierarchy
gptkb:syntax gptkb:finite_automata gptkb:pushdown_automata semantics Turing machines context-free languages context-sensitive languages recursively enumerable languages regular languages regular expressions |
| gptkbp:studies |
formal languages
automata language recognition grammars language generation |
| gptkbp:bfsParent |
gptkb:Transformational_grammar
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Formal language theory
|