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
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