A new approach to solving equivalence problem

DOI10.1023/B:PACS.0000029576.66184.7BMaRDI QIDQ557497zbMATH OpenFDO

Authors R. I. Podlovchenko, V. E. Khachatryan

Publication date 30 June 2005

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

computation modelmultitape automataequivalence recognition

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Algorithm for establishing the equivalence of deterministic multitape automata
• The equivalence problem of multidimensional multitape automata
• Equivalence of two-dimensional multitape automata
• The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape
• A class of multitape automata with a decidable equivalence problem

Cited in

(2)

• Algorithm for establishing the equivalence of deterministic multitape automata
• A new proposal of quasi-solved form for equality constraint solving

This page was built for publication: A new approach to solving equivalence problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q557497)