Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1964_3_2_a2, author = {M. I. Kratko}, title = {On the existence of non-recursive bases of finite automata}, journal = {Algebra i logika}, pages = {33--44}, publisher = {mathdoc}, volume = {3}, number = {2}, year = {1964}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1964_3_2_a2/} }
M. I. Kratko. On the existence of non-recursive bases of finite automata. Algebra i logika, Tome 3 (1964) no. 2, pp. 33-44. http://geodesic.mathdoc.fr/item/AL_1964_3_2_a2/