Algorithm for Establishing the Equivalence of Deterministic Multitape Automata
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605519242 | ||
| 003 | CHVBK | ||
| 005 | 20210128100729.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150901xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10559-015-9764-3 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10559-015-9764-3 | ||
| 100 | 1 | |a Borisenko |D V. |u Kyiv, Ukraine |4 aut | |
| 245 | 1 | 0 | |a Algorithm for Establishing the Equivalence of Deterministic Multitape Automata |h [Elektronische Daten] |c [V. Borisenko] |
| 520 | 3 | |a 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. | |
| 540 | |a Springer Science+Business Media New York, 2015 | ||
| 690 | 7 | |a automaton |2 nationallicence | |
| 690 | 7 | |a multitape |2 nationallicence | |
| 690 | 7 | |a deterministic |2 nationallicence | |
| 690 | 7 | |a equivalence |2 nationallicence | |
| 773 | 0 | |t Cybernetics and Systems Analysis |d Springer US; http://www.springer-ny.com |g 51/5(2015-09-01), 720-729 |x 1060-0396 |q 51:5<720 |1 2015 |2 51 |o 10559 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10559-015-9764-3 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10559-015-9764-3 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 100 |E 1- |a Borisenko |D V. |u Kyiv, Ukraine |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Cybernetics and Systems Analysis |d Springer US; http://www.springer-ny.com |g 51/5(2015-09-01), 720-729 |x 1060-0396 |q 51:5<720 |1 2015 |2 51 |o 10559 | ||