sa-greibach documents

Visits, crosses, and reversals for nondeterministic off-line machines
Documents Visits, crosses, and reversals for nondeterministic off-line machines
One counter languages and the IRS condition
Documents One counter languages and the IRS condition
Control sets on context-free grammar forms
Documents Control sets on context-free grammar forms
Erasing in context-free AFLs
Documents Erasing in context-free AFLs
Linearity is polynomially decidable for realtime pushdown store automata
Documents Linearity is polynomially decidable for realtime pushdown store automata
Comments on universal and left universal grammars, context-sensitive languages, and context-free grammar forms
Documents Comments on universal and left universal grammars, context-sensitive languages, and context-free grammar forms
Erasable context-free languages
Documents Erasable context-free languages