|
gptkbp:instanceOf
|
gptkb:theoretical_computer_science
gptkb:Technical_Machine
|
|
gptkbp:allows
|
context-free languages
|
|
gptkbp:alphabet
|
input alphabet
stack alphabet
|
|
gptkbp:cannotRecognize
|
context-sensitive languages
|
|
gptkbp:configuration
|
state, input, stack
|
|
gptkbp:describedBy
|
gptkb:Chomsky_hierarchy
|
|
gptkbp:hasComponent
|
gptkb:finite_state_machine
stack
|
|
gptkbp:hasTransitionFunction
|
transition function
|
|
gptkbp:hasType
|
deterministic pushdown automaton
nondeterministic pushdown automaton
|
|
gptkbp:includesState
|
start state
set of states
accepting state
|
|
gptkbp:input
|
input string
|
|
gptkbp:introduced
|
gptkb:Noam_Chomsky
|
|
gptkbp:limitation
|
cannot recognize all languages
limited memory (stack only)
|
|
gptkbp:operator
|
pop
push
no operation
|
|
gptkbp:recognizedBy
|
parenthesis languages
|
|
gptkbp:relatedTo
|
gptkb:Technical_Machine
gptkb:finite_automata
|
|
gptkbp:usedFor
|
compiler design
parsing
syntax analysis
|
|
gptkbp:usedIn
|
formal language theory
|
|
gptkbp:bfsParent
|
gptkb:Dyck_language
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
pushdown automata
|