caa a22 4500 605519242 CHVBK 20210128100729.0 cr unu---uuuuu 210128e20150901xx s 000 0 eng 10.1007/s10559-015-9764-3 doi (NATIONALLICENCE)springer-10.1007/s10559-015-9764-3 Borisenko V. Kyiv, Ukraine aut Algorithm for Establishing the Equivalence of Deterministic Multitape Automata [Elektronische Daten] [V. Borisenko] This paper proposes an algorithm to determine the equivalence of multitape automata presented in the form of graphs. The algorithm is based on the theorem (proved by the author) on sufficient equivalence conditions and consists of constructing special (closed) diagrams with the help of elementary operations proposed by M. Bird. The rules for applying these operations are formulated that transform the proposed algorithm into a finite algorithm. Springer Science+Business Media New York, 2015 automaton nationallicence multitape nationallicence deterministic nationallicence equivalence nationallicence Cybernetics and Systems Analysis Springer US; http://www.springer-ny.com 51/5(2015-09-01), 720-729 1060-0396 51:5<720 2015 51 10559 https://doi.org/10.1007/s10559-015-9764-3 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s10559-015-9764-3 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Borisenko V. Kyiv, Ukraine aut NATIONALLICENCE 773 0- Cybernetics and Systems Analysis Springer US; http://www.springer-ny.com 51/5(2015-09-01), 720-729 1060-0396 51:5<720 2015 51 10559