The following pages link to Nested Stack Automata (Q5576259):
Displaying 50 items.
- The grammar of mammalian brain capacity (Q290555) (← links)
- Basic tree transducers (Q579951) (← links)
- Look-ahead on pushdowns (Q579952) (← links)
- A shrinking lemma for indexed languages (Q671370) (← links)
- A new pumping lemma for indexed languages, with an application to infinite words (Q729820) (← links)
- Regular sets over extended tree structures (Q764339) (← links)
- On the rational subset problem for groups. (Q875109) (← links)
- Hierarchies of hyper-AFLs (Q1058860) (← links)
- Tree pushdown automata (Q1058866) (← links)
- Extended macro grammars and stack controlled machines (Q1064075) (← links)
- Macro tree transducers (Q1073576) (← links)
- Pushdown machines for the macro tree transducer (Q1089810) (← links)
- Multidimensional trees (Q1178697) (← links)
- Iterated stack automata and complexity classes (Q1183602) (← links)
- An implementation of syntax directed functional programming on nested- stack machines (Q1194207) (← links)
- Two-way nested stack automata are equivalent to two-way stack automata (Q1227452) (← links)
- Augmented transition networks and their relation to tree transducers (Q1238432) (← links)
- A generalized approach to formal languages (Q1239608) (← links)
- Stack languages and log n space (Q1250712) (← links)
- Decidability of EDT0L structural equivalence (Q1605312) (← links)
- Grammatical characterizations of NPDAs and VPDAs with counters (Q1784750) (← links)
- The calculi of emergence: Computation, dynamics and induction (Q1817022) (← links)
- Theory of formal grammars (Q1846334) (← links)
- Pushdown tree automata, algebraic tree systems, and algebraic tree series (Q1854412) (← links)
- Queues, stacks, and transcendentality at the transition to chaos (Q1961669) (← links)
- On finite-index indexed grammars and their restrictions (Q2042723) (← links)
- Principal abstract families of weighted tree languages (Q2064529) (← links)
- Weighted automata with storage (Q2280328) (← links)
- Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
- Principal AFL (Q2540269) (← links)
- On the existence of generators for certain AFL (Q2541640) (← links)
- An Automata Characterisation for Multiple Context-Free Languages (Q2817383) (← links)
- Model-Checking Games for Typed λ-Calculi (Q2864164) (← links)
- GROUPS WITH CONTEXT-FREE CONJUGACY PROBLEMS (Q2996844) (← links)
- The equivalence problem for real-time deterministic pushdown automata (Q3028347) (← links)
- Pushdown tree automata (Q3036724) (← links)
- (Q3386623) (← links)
- GROUPS WITH INDEXED CO-WORD PROBLEM (Q3421607) (← links)
- Generators of regular languages (Q3886888) (← links)
- Stochastic grammars and languages (Q4045668) (← links)
- On the complexity of finite, pushdown, and stack automata (Q4121398) (← links)
- Die mit Nestedstackautomaten Berechenbaren Funktionen sind Elementar (Q4141225) (← links)
- COMBING NILPOTENT AND POLYCYCLIC GROUPS (Q4513294) (← links)
- Some restrictions onW-grammars (Q4776853) (← links)
- Tree-stack automata (Q4879207) (← links)
- On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems (Q5090985) (← links)
- Queue Automata: Foundations and Developments (Q5112182) (← links)
- Gaining Power by Input Operations: Finite Automata and Beyond (Q5200048) (← links)
- Diving into the queue (Q5223609) (← links)
- Abstract families of relations (Q5921426) (← links)
