Theory of Automata

GPTKB entity

Statements (51)
Predicate Object
gptkbp:instanceOf gptkb:academic
gptkbp:fieldOfStudy gptkb:mathematics
computer science
gptkbp:hasApplication digital circuit design
natural language processing
network protocols
robotics
bioinformatics
pattern recognition
model checking
gptkbp:hasConcept gptkb:Chomsky_hierarchy
determinism
language recognition
regular expressions
decidability
nondeterminism
acceptance condition
closure properties
minimization
state transition
https://www.w3.org/2000/01/rdf-schema#label Theory of Automata
gptkbp:includes gptkb:finite_automata
gptkb:pushdown_automata
Turing machines
context-free languages
context-sensitive languages
recursively enumerable languages
regular languages
gptkbp:keyPerson gptkb:Alan_Turing
gptkb:Alonzo_Church
gptkb:Claude_Shannon
gptkb:Dana_Scott
gptkb:Emil_Post
gptkb:John_Myhill
gptkb:Michael_Rabin
gptkb:Noam_Chomsky
gptkb:Stephen_Kleene
gptkbp:publishedIn gptkb:Introduction_to_Automata_Theory,_Languages,_and_Computation
Introduction to the Theory of Computation
Automata Theory and Formal Languages
gptkbp:relatedTo gptkb:complexity_theory
computability theory
formal languages
gptkbp:studies abstract machines
computational problems
gptkbp:usedIn gptkb:artificial_intelligence
software engineering
compiler design
text processing
gptkbp:bfsParent gptkb:Victor_Glushkov
gptkbp:bfsLayer 6