The following pages link to Writing pushdown acceptors (Q2540271):
Displayed 7 items.
- Turing machines with access to history (Q751802) (← links)
- Abstract families of length-preserving processors (Q1222025) (← links)
- A recursive and a grammatical characterization of the exponential-time languages (Q1237361) (← links)
- Theory of formal grammars (Q1846334) (← links)
- On the existence of generators for certain AFL (Q2541640) (← links)
- Writing stack acceptors (Q2554233) (← links)
- Turing machines and the spectra of first-order formulas (Q4775859) (← links)