stack automata

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf Technical Machine
theoretical computer science
gptkbp:hasFeature can move stack head up and down
read-only stack
gptkbp:hasVariant deterministic stack automata
nondeterministic stack automata
https://www.w3.org/2000/01/rdf-schema#label stack automata
gptkbp:introduced gptkb:Ginsburg
gptkb:Greibach
gptkbp:introducedIn 1967
gptkbp:lessPowerfulThan Technical Machine
gptkbp:morePowerfulThan pushdown automaton
gptkbp:recognizedBy some context-sensitive languages
gptkbp:relatedTo Technical Machine
pushdown automaton
gptkbp:usedIn formal language theory
gptkbp:bfsParent gptkb:Dyck_language
gptkbp:bfsLayer 6