The Emptiness Problem For Automata on (1972)

by R Hossley, Racko
Venue:In nite Trees, Proc. 13th IEEE Symp. Switching and Automata Theory