Formal language theory

GPTKB entity

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