Statements (103)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:academic
theoretical computer science |
gptkbp:appliesTo |
gptkb:artificial_intelligence
gptkb:programming_language natural language processing compiler construction |
gptkbp:hasConcept |
gptkb:Rice's_theorem
gptkb:alphabet gptkb:language gptkb:syntax gptkb:Kleene_star gptkb:Chomsky_normal_form gptkb:Greibach_normal_form gptkb:Myhill-Nerode_theorem gptkb:linear_bounded_automaton Technical Machine determinism recognition theoretical computer science ambiguity context-free grammar pushdown automaton transition function decidability generator complexity string computability derivation finite state machine 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 |
https://www.w3.org/2000/01/rdf-schema#label |
Formal language theory
|
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:Generative_Grammar
gptkb:Transformational_grammar |
gptkbp:bfsLayer |
6
|