Literature Cited
N. E. Kobrinskii and B.A. Trakhtenbrot, Introduction to the Theory of Finite Automata [in Russian], Fizmatgiz, Moscow (1962).
M. I. Kratko, “Algorithmic unsolvability of the problem of recognition of completeness for finite automata,” Dokl. Akad. Nauk SSSR,155, No. 1 (1964).
M. I. Kratko, “Existence of nonrecursive bases of finite automata,” in: Algebra i Logika, Seminar,3, No. 2 (1964).
V. B. Kudryavtsev, “Powers of sets of precomplete sets of functional systems related to automata” in: Problems of Cybernetics, No. 13 [in Russian], Nauka, Moscow (1965).
I. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).
V. A. Orlov, “Complexity of realization of limited-deterministic operators by circuits in automata bases,” in: Problems of Cybernetics, No. 26 [in Russian], Nauka, Moscow (1972).
S. V. Yablonskii, “Functional constructions in k-valued logic,” Proc. Steklov Mathematics Institute, Vol. 51 [in Russian], Moscow (1958).
Additional information
Translated from Kibernetika, No. 4, pp. 109–113, July–August, 1973.
Rights and permissions
About this article
Cite this article
Orlov, V.A. Simple proof of algorithmic unsolvability of problems of completeness of automata bases. Cybern Syst Anal 9, 666–670 (1973). https://doi.org/10.1007/BF01068591
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068591