Dick Grune, Wan Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers. Detecting Useless Transitions in Pushdown Automata. In Frank Drewes, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. Volume 10168 of Lecture Notes in Computer Science, pages 421-434, 2017. [doi]
Abstract is missing.