Literature Cited
V. M. Glushkov and A. A. Letichevskii, “The theory of discrete processors,” in: Selected Questions in Algebra and Logic [in Russian], Nauka, Sibirsk. Otd., Novosibirsk (1973).
D. C. Luckham, D.M.R. Park, and M. S. Paterson, “On formalized computer programs,” J. Comput. Syst. Sci.,4, No. 3 (1970).
V. A. Nepomnyashchii, “On certain automata able to compute a basis for recursively computable sets,” Algebra i Logika,5, No. 5 (1966).
B. A. Trakhtenbrot, Complexity of Algorithms and Computations [in Russian], Izd. Novosibirsk. Gosuniv. (1967).
Additional information
Translated from Kibernetika, No. 4, pp. 12–16, July–August, 1976.
Rights and permissions
About this article
Cite this article
Shukuryan, S.K. Decidability of the equivalence problem for A class of multitape multihead automata and flowcharts over memory. Cybern Syst Anal 12, 507–512 (1976). https://doi.org/10.1007/BF01070381
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01070381