Statements (99)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
theoretical computer science topic |
| gptkbp:appliesTo |
gptkb:artificial_intelligence
natural language processing compiler design model checking parsing |
| gptkbp:hasConcept |
gptkb:Chomsky_hierarchy
gptkb:alphabet gptkb:deterministic_finite_automaton gptkb:nondeterministic_finite_automaton gptkb:Moore_machine gptkb:Myhill-Nerode_theorem gptkb:Rabin_automaton gptkb:Muller_automaton gptkb:Mealy_machine gptkb:Büchi_automaton gptkb:Streett_automaton gptkb:parity_automaton context-free language determinism regular language theoretical computer science context-free grammar language recognition transition function accept state halting problem regular expressions start state tape decidability universality configuration stack finite state machine input alphabet nondeterminism state diagram recursively enumerable language undecidable problem regular grammar acceptance by empty stack acceptance by final state acceptance by halting acceptance condition alternating automaton closure properties configuration graph context-sensitive grammar decidable problem deterministic pushdown automaton emptiness problem epsilon transition equivalence problem finite control input string language acceptance language class minimization multi-tape automaton nested word automaton non-accept state non-recursive language nondeterministic pushdown automaton omega automaton output alphabet output function probabilistic automaton pumping lemma quantum automaton read head recognizer recursive language register automaton state transition timed automaton transducer transition system transition table tree automaton two-way automaton unrestricted grammar weighted automaton write head |
| https://www.w3.org/2000/01/rdf-schema#label |
Automata theory
|
| gptkbp:includes |
gptkb:finite_automata
gptkb:pushdown_automata gptkb:linear_bounded_automata cellular automata Turing machines |
| gptkbp:relatedTo |
gptkb:complexity_theory
computability theory formal language theory |
| gptkbp:studies |
formal languages
abstract machines computational problems |
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|