A fast algorithm to decide on the equivalence of stateless DPDA Didier Caucal RAIRO-Theor. Inf. Appl., 27 1 (1993) 23-48 Published online: 01 February 2017 DOI: 10.1051/ita/1993270100231