Detecting Useless Transitions in Pushdown Automata.

Dick Grune, Wan J. Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers

Browse the full LATA paper archive.