Finite automata

GPTKB entity

Statements (51)
Predicate Object
gptkbp:instanceOf Technical Machine
Mathematical model
gptkbp:allows Regular languages
gptkbp:definedIn gptkb:Amazon
States
Start state
Transition function
Accept states
gptkbp:form 5-tuple
gptkbp:formedBy gptkb:Dana_Scott
gptkb:Stephen_Kleene
gptkb:Michael_O._Rabin
gptkbp:hasProperty Deterministic or nondeterministic
Finite number of states
Memoryless
gptkbp:hasType gptkb:Nondeterministic_finite_automaton
gptkb:Deterministic_finite_automaton
Probabilistic finite automaton
ε-NFA
https://www.w3.org/2000/01/rdf-schema#label Finite automata
gptkbp:introducedIn 1950s
gptkbp:limitation Cannot recognize context-free languages
gptkbp:relatedTo gptkb:Pushdown_automaton
Technical Machine
Regular expressions
gptkbp:studiedBy gptkb:Noam_Chomsky
gptkb:Stephen_Kleene
gptkbp:usedFor Model checking
Pattern matching
Text processing
Lexical analysis
gptkbp:usedIn gptkb:Linguistics
gptkb:artificial_intelligence
gptkb:robot
gptkb:Game_theory
gptkb:Automata_theory
gptkb:Theoretical_computer_science
gptkb:Formal_language_theory
Natural language processing
Computer science
Control systems
Speech recognition
Discrete mathematics
Parsing
Software engineering
Compiler design
Digital circuit design
Algorithm design
Network protocol design
gptkbp:bfsParent gptkb:Nondeterministic_finite_automaton
gptkbp:bfsLayer 7