The following pages link to Stack automata and compiling (Q5532541):
Displayed 29 items.
- The formal termination problem for programs with finite ALGOL 68-modes (Q1133312) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
- On procedures as open subroutines. II (Q1216944) (← links)
- 1-way stack automaton with jumps (Q1217778) (← links)
- Abstract families of length-preserving processors (Q1222025) (← links)
- Characterization theorems on abstract families of transducers (Q1230515) (← links)
- Relating refined space complexity classes (Q1235980) (← links)
- Degree-languages: A new concept of acceptance (Q1236888) (← links)
- Stack languages and log n space (Q1250712) (← links)
- Yield-languages of two-way pushdown tree automata (Q1352013) (← links)
- Theory of formal grammars (Q1846334) (← links)
- Some definitional suggestions for automata theory (Q2529464) (← links)
- Nonerasing stack automata (Q2530209) (← links)
- Deterministic stack automata and the quotient operator (Q2531282) (← links)
- Checking automata and one-way stack languages (Q2532393) (← links)
- Writing pushdown acceptors (Q2540271) (← links)
- On the existence of generators for certain AFL (Q2541640) (← links)
- Writing stack acceptors (Q2554233) (← links)
- On AFL generators for finitely encoded AFA (Q2556749) (← links)
- On the extension of Gladkij's theorem and the hierarchies of languages (Q2557560) (← links)
- Characterizations of some tape and time complexity classes of Turing machines in terms of multihead and auxiliary stack automata (Q2558752) (← links)
- (Semi)alternating stack automata (Q3959454) (← links)
- (Q4122826) (← links)
- Tree-stack automata (Q4879207) (← links)
- A Note on Pushdown Store Automata and Regular Systems (Q5573974) (← links)
- Stackautomaten in Labyrinthen (Q5642544) (← links)
- Über die mit Stackautomaten berechenbaren Funktionen (Q5668456) (← links)
- Jede mit Stackautomaten berechenbare Funktion ist elementar (Q5668457) (← links)
- Abstract families of relations (Q5921426) (← links)