Nested Stack Automata
From MaRDI portal
Publication:5576259
DOI10.1145/321526.321529zbMATH Open0184.28603DBLPjournals/jacm/Aho69OpenAlexW2027529581WikidataQ56016699 ScholiaQ56016699MaRDI QIDQ5576259FDOQ5576259
Authors: A. V. Aho 
Publication date: 1969
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321526.321529
Cited In (52)
- Rational weighted tree languages with storage
- Abstract interpretation of indexed grammars
- Pushdown tree automata, algebraic tree systems, and algebraic tree series
- Augmented transition networks and their relation to tree transducers
- Stack languages and log n space
- Decidability of EDT0L structural equivalence
- Macro tree transducers
- Some restrictions onW-grammars
- Theory of formal grammars
- Diving into the queue
- On the complexity of finite, pushdown, and stack automata
- The grammar of mammalian brain capacity
- The equivalence problem for real-time deterministic pushdown automata
- A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
- On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems
- Basic tree transducers
- Look-ahead on pushdowns
- A new pumping lemma for indexed languages, with an application to infinite words
- Extended macro grammars and stack controlled machines
- Generators of regular languages
- Pushdown machines for the macro tree transducer
- A generalized approach to formal languages
- Iterated stack automata and complexity classes
- On the rational subset problem for groups.
- Grammatical characterizations of NPDAs and VPDAs with counters
- Two-way nested stack automata are equivalent to two-way stack automata
- Stochastic grammars and languages
- Tree-stack automata
- Die mit Nestedstackautomaten Berechenbaren Funktionen sind Elementar
- Regular sets over extended tree structures
- Tree pushdown automata
- Iterated pushdown automata and sequences of rational numbers
- Groups with context-free conjugacy problems.
- Weighted automata with storage
- GROUPS WITH INDEXED CO-WORD PROBLEM
- The calculi of emergence: Computation, dynamics and induction
- An Automata Characterisation for Multiple Context-Free Languages
- Principal abstract families of weighted tree languages
- Pushdown tree automata
- Hierarchies of hyper-AFLs
- An implementation of syntax directed functional programming on nested- stack machines
- EDT0L grammars with only one variable have tractable generating functions
- Gaining Power by Input Operations: Finite Automata and Beyond
- On the existence of generators for certain AFL
- Queues, stacks, and transcendentality at the transition to chaos
- Principal AFL
- Queue Automata: Foundations and Developments
- Model-checking games for typed \(\lambda\)-calculi
- A shrinking lemma for indexed languages
- COMBING NILPOTENT AND POLYCYCLIC GROUPS
- Multidimensional trees
- Abstract families of relations
This page was built for publication: Nested Stack Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5576259)
