The equivalence problem of multidimensional multitape automata

DOI10.1016/J.JCSS.2008.02.006MaRDI QIDQ955343zbMATH OpenOpenAlexFDO

Authors Haik Grigorian, Samvel K. Shoukourian

Publication date 19 November 2008

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2008.02.006

zbMATH Keywords

equivalenceautomatamultidimensionalprogram schematamultitape

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3254905 (Why is no real title available?)
• Equivalence of two-dimensional multitape automata
• Functional equivalence of discrete processors. II
• On formalised computer programs
• Reducibility of program-scheme functional equivalence on a nondegenerate basis of rank unity to the equivalence of automata with multidimensional tapes
• The equivalence problem of multitape finite automata

Cited in

(15)

• Revisiting the equivalence problem for finite multitape automata
• A new approach to solving equivalence problem
• scientific article; zbMATH DE number 6257763 (Why is no real title available?)
• scientific article; zbMATH DE number 4037263 (Why is no real title available?)
• Complete system of equivalent transformations for multitape automata
• Unifying Equivalences for Higher Dimensional Automata
• Another approach to the equivalence of measure-many one-way quantum finite automata and its application
• 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
• scientific article; zbMATH DE number 3992935 (Why is no real title available?)
• Algorithm for establishing the equivalence of deterministic multitape automata
• Equivalence of regular expressions over a partially commutative alphabet
• Polynomial algorithm for equivalence problem of deterministic multitape finite automata
• A class of multitape automata with a decidable equivalence problem
• Equivalence of two-dimensional multitape automata

This page was built for publication: The equivalence problem of multidimensional multitape automata

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