Tree-stack automata

W Golubski, WM Lippe - Mathematical systems theory, 1996 - Springer
… For the two-way automata we obtain that two-way tree-stack automata have the same … -pushdown
automata and hence as two-way nested stack automata and two-way stack automata. …

Tree-stack automata

W Golubski, WM Lippe - … Foundations of Computer Science 1990: Banská …, 1990 - Springer
tree-stack systems to tree-stack automata. For this new model of stack automata, the so-called
tree-stack automata, we extend the linear stack to a tree-stack. During the writing-mode a …

Tree-Walking-Storage Automata

M Kutrib, U Meyer - … Conference on Developments in Language Theory, 2023 - Springer
… If the root of the tree-stack is popped, exactly one subtree is left in the store. Another …
tree-stack automaton gave up the bulky way of pushing and popping at the root of the tree-stack [5]. …

Deterministic Real-Time Tree-Walking-Storage Automata

M Kutrib, U Meyer - arXiv preprint arXiv:2309.08716, 2023 - arxiv.org
… If the root of the tree-stack is popped, exactly one subtree is left in the store. Another …
tree-stack automaton gave up the bulky way of pushing and popping at the root of the tree-stack [5]. …

[PDF][PDF] Tree pushdown automata

JH Gallier, K Schimpf - J. Comput. Syst. Sci, 1985 - academia.edu
… the class of languages recognized by such automata is identical to the class of … automaton,
a tree (called a tree stack) is associated with each read-head of the bottom-up tree automaton

Deterministic tree pushdown automata and monadic tree rewriting systems

K Salomaa - Journal of Computer and System Sciences, 1988 - Elsevier
… In fact, even one of the additional features of the former automata, the capability to delete
or to duplicate subtrees of the tree stack increases the recognition power. Also we show that …

Tree pushdown automata

KM Schimpf, JH Gallier - Journal of Computer and System Sciences, 1985 - Elsevier
… the class of languages recognized by such automata is identical to the class of … automaton,
a tree (called a tree stack) is associated with each read-head of the bottom-up tree automaton

An automata characterisation for multiple context-free languages

T Denkinger - Developments in Language Theory: 20th International …, 2016 - Springer
… We introduce tree stack automata as a new class of automata with storage and identify a
restricted form of tree stack automata that recognises exactly the multiple context-free languages…

[PDF][PDF] Coarse-to-fine recognition for weighted tree-stack automata

M Korn - 2017 - orchid.inf.tu-dresden.de
… ▶ Problem: Parsing with complicated grammars and recognition with complicated
automata are time intensive ▶ Example: multiple-context-free grammars and tree-stack …

On the progression from context-free to tree adjoining languages

K Vijay-Shanker, DJ Weir, AK Joshi - Mathematics of Language, 1987 - torrossa.com
… accepted by tree stack automata (TSA's), tree automata which resemble … tree stack with a
subtree of the input. A sub configuration will have the form where the state q and the tree stack