The equivalence problem for deterministic two-tape automata
From MaRDI portal
Publication:758956
DOI10.1016/S0022-0000(73)80045-5zbMath0271.94039MaRDI QIDQ758956
Publication date: 1973
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Related Items (37)
Synchronized tree automata ⋮ Rational equivalence relations ⋮ The equivalence of finite valued transducers (on HDT0L languages) is decidable ⋮ The problem of equivalent transformations for homogeneous multitape automata ⋮ Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines ⋮ Minimality and deadlockness of multitape automata ⋮ Rational and Recognisable Power Series ⋮ Equivalence of data flow schemas ⋮ Sufficient conditions of equivalence of three-tape automata ⋮ Loops in automata and HDTOL relations ⋮ Solution of the generalized minimization problem for two-tape automata with one fixed tape ⋮ Decision problems for pushdown threads ⋮ On the equivalence problem for deterministic multitape automata and transducers ⋮ A note on decision problems for three-way two-dimensional finite automata ⋮ Algorithm for establishing the equivalence of deterministic multitape automata ⋮ An algorithm deciding functional equivalence in a new class of program schemes ⋮ New techniques for proving the decidability of equivalence problem ⋮ The Equivalence Problem of Finite Substitutions on ab*c, with Applications ⋮ Formalization of the concept of multitape automaton ⋮ Decidability of equivalence for deterministic synchronized tree automata ⋮ Multiplicities: A deterministic view of nondeterminism ⋮ Solvability of equivalence problem for program machines ⋮ The inclusion problem for simple languages ⋮ HDTOL matching of computations of multitape automata ⋮ Toward a mathematical theory of graph-generative systems and its applications ⋮ An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines ⋮ Äquivalente Transformationen für Flußdiagramme ⋮ Generalized \({}^{1,5}\) sequential machine maps ⋮ Recursive converters on a memory ⋮ Reflections on the phenomenon of Aleksej Andreevich Lyapunov ⋮ Equivalence problems for transducers with a bounded number of states ⋮ Polynomial algorithm for equivalence problem of deterministic multitape finite automata ⋮ The inclusion problem for some classes of deterministic multitape automata ⋮ Complete system of equivalent transformations for two-tape automata with disjoint loops ⋮ The equivalence problem of multitape finite automata ⋮ Modelization of deterministic rational relations ⋮ On the power of synchronization in parallel computations
Cites Work
This page was built for publication: The equivalence problem for deterministic two-tape automata
