Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars.

Katsuhiko Nakamura, Keita Imada

Browse the full LATA paper archive.