Equivalence of two-dimensional multitape automata
Autor: | A. A. Hrigoryan, S. K. Shukuryan |
---|---|
Rok vydání: | 2008 |
Předmět: |
Discrete mathematics
TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES General Computer Science Movement (music) Timed automaton Büchi automaton Monotonic function Mobile automaton Automaton TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Deterministic automaton Two-way deterministic finite automaton Special case Equivalence (measure theory) Computer Science::Formal Languages and Automata Theory Mathematics |
Zdroj: | Cybernetics and Systems Analysis. 44:464-464 |
ISSN: | 1573-8337 1060-0396 |
DOI: | 10.1007/s10559-008-9012-1 |
Popis: | The equivalence of multitape automata with multi-dimensional tapes is considered. Their heads move monotonically in all directions (their backward movement is impossible). The special case when the dimensions of tapes are less than or equal to 2 is proved to be solvable. |
Databáze: | OpenAIRE |
Externí odkaz: |