A useful device for showing the solvability of some decision problems - Ibarra, Oscar H.; Kim, Chul E. (Quezon City U.P. Natural Science Research Center, 1975)
Keywords: Automata -- Mathematical models