finite automata

GPTKB entity

Statements (34)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:allows regular languages
gptkbp:cannot_recognize context-free languages
gptkbp:closure_property gptkb:Kleene_star
gptkb:intersection
Union
complement
concatenation
gptkbp:field automata theory
theoretical computer science
gptkbp:has_accept_states subset of states
gptkbp:has_input_alphabet finite set
gptkbp:has_start_state unique state
gptkbp:has_state finite number
gptkbp:has_transition_function state transition
gptkbp:hasType gptkb:deterministic_finite_automaton
gptkb:nondeterministic_finite_automaton
https://www.w3.org/2000/01/rdf-schema#label finite automata
gptkbp:introduced 1943
gptkbp:inventedBy gptkb:Walter_Pitts
gptkb:Warren_McCulloch
gptkbp:minimization possible
gptkbp:relatedTo Turing machines
regular expressions
gptkbp:used_in digital circuit design
compiler design
text processing
network protocol analysis
gptkbp:usedFor lexical analysis
modeling computation
pattern matching
gptkbp:bfsParent gptkb:Turing_completeness
gptkb:Automata_theory
gptkbp:bfsLayer 5