Statements (34)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Computational_model
gptkb:Technical_Machine |
| gptkbp:allows |
Context-free language
|
| gptkbp:describedBy |
Input alphabet
Start state Transition function Initial stack symbol Set of accepting states Set of states Stack alphabet |
| gptkbp:formalDefinition |
7-tuple (Q, Σ, Γ, δ, q0, Z0, F)
|
| gptkbp:hasComponent |
Stack
Finite state machine |
| gptkbp:hasProperty |
Can perform push and pop operations
Memory is stack-based Reads input string Transitions depend on input symbol and stack symbol |
| gptkbp:hasType |
Deterministic pushdown automaton
Nondeterministic pushdown automaton |
| gptkbp:introduced |
gptkb:Noam_Chomsky
|
| gptkbp:introducedIn |
1960s
|
| gptkbp:limitation |
Cannot recognize all context-sensitive languages
Cannot recognize all regular languages deterministically |
| gptkbp:relatedTo |
gptkb:Technical_Machine
Finite automaton |
| gptkbp:usedFor |
Parsing
Syntax analysis Compiler design |
| gptkbp:usedIn |
gptkb:Formal_language_theory
|
| gptkbp:bfsParent |
gptkb:Nondeterministic_finite_automaton
gptkb:Deterministic_Finite_Automaton gptkb:Context-Free_Grammar |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Pushdown automaton
|