A class of multitape automata with a decidable equivalence problem

zbMATH Open0541.68033MaRDI QIDQ794436FDOQ794436

Authors: Efim Kinber 

Publication date: 1983

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

Recommendations

• Equivalence of two-dimensional multitape automata
• The equivalence problem of multidimensional multitape automata
• Revisiting the equivalence problem for finite multitape automata
• scientific article; zbMATH DE number 4037263
• The equivalence problem of multitape finite automata

zbMATH Keywords

decidabilitymulti-tape automataequivalence problemsone-way automatatwo-tape automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (17)

• Title not available (Why is that?)
• Loops in automata and HDTOL relations
• On the equivalence problem for deterministic multitape automata and transducers
• A new approach to solving equivalence problem
• Title not available (Why is that?)
• Complete system of equivalent transformations for multitape automata
• HDTOL matching of computations of multitape automata
• The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape
• LABELLING MULTI-TAPE AUTOMATA WITH CONSTRAINED SYMBOL CLASSES
• Formalization of the concept of multitape automaton
• The equivalence problem of multidimensional multitape automata
• On the Class of Predicates Decidable by Two-Way Multitape Finite Automata
• Minimality and deadlockness of multitape automata
• Implementation and Application of Automata
• Multi-tape Automata with Symbol Classes
• Equivalence of two-dimensional multitape automata
• Revisiting the equivalence problem for finite multitape automata

This page was built for publication: A class of multitape automata with a decidable equivalence problem

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