M. Nasu and N. Honda. Mappings induced by PGSM-mappings and some recursively unsolvable problems of finite probabilistic automata. Information and Control , 15(3):250–273, 1969. MATH MathSciNetM. Nasu, N. Honda, Mappings induced by pgsm-mappings and some re- cursively unsolvable problems ...