Pavel Labath, Branislav Rovan. Simplifying DPDA Using Supplementary Information. In Adrian Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide, editors, Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Volume 6638 of Lecture Notes in Computer Science, pages 342-353, Springer, 2011. [doi]
Abstract is missing.