The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape

DOI10.1007/978-3-642-13089-2_33zbMath1284.68357OpenAlexW1876890623MaRDI QIDQ3564880

A. S. Shoukourian, Samvel K. Shoukourian, Alexander Letichevsky

Publication date: 26 May 2010

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13089-2_33

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Algorithm for establishing the equivalence of deterministic multitape automata ⋮ Polynomial algorithm for equivalence problem of deterministic multitape finite automata

This page was built for publication: The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape