Multidimensional Tapes and Multitape Automata: Recent Results and Beyond

M.O. Rabin, D. Scott, Finite automata and their decision problems, IBM J. Res. Dev. 3 (2) (1959) 114–125.

H.A. Grigorian, S.K. Shoukourian, The Equivalence Problem of Multidimensional Multitape Automata, J. Comput. System Sci. 74 (7) (208) 1131–1138.

M.S. Paterson, Equivalence Problems in a Model of Computation, Ph.D. Thesis, Cambridge University, 1967.

А.Б.Годлевский, А.А.Летичевский, С.К.Шукурян, О сводимости проблемы функциональной эквивалентности схем программ над невырожденным базисом ранга единица к эквивалентности автоматов с многомерными лентами, Кибернетика и системный анализ, № 6, с. 1-7, 1980.

Bird, M.: The equivalence problem for deterministic two-tape automata J. Comput. System Sci. 4 (3) (1973) 220–249.

Harju T., Karhumäki J., The equivalence problem of multitape finite automata, Theoret. Comput. Sci. 78 (2) (1991) 347–355.

A.A.Letichevsky, A.S.Shoukourian, and S. K. Shoukourian, The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape, Proceedings of International Conference “Languages and Automata: Theory and Application LATA’2010, Trier”, Lecture Notes in Computer Science 6031, pp. 392–402, 2010.

A. С. Шукурян, Эквивалентность регулярных выражений над частично коммутативным алфавитом, Кибернетика и системный анализ, №3, стр. 3-11, 2009.

В. Н. Редько, Об алгебре коммутативных событий, Украинский математический журнал, 16, № 2, стр. 185-195, 1964.

В. А. Тузов,Проблемы разрешения для граф-схем с перестановочными операторами. II, Кибернетика, №5, стр. 28-32, 1971.