Pages that link to "Item:Q758956"

The following pages link to The equivalence problem for deterministic two-tape automata (Q758956):

Displayed 29 items.

• HDTOL matching of computations of multitape automata (Q582131) ‎ (← links)
• Decidability of equivalence for deterministic synchronized tree automata (Q671682) ‎ (← links)
• The equivalence problem of multitape finite automata (Q804302) ‎ (← links)
• On the power of synchronization in parallel computations (Q811118) ‎ (← links)
• Decision problems for pushdown threads (Q884992) ‎ (← links)
• An algorithm deciding functional equivalence in a new class of program schemes (Q912596) ‎ (← links)
• New techniques for proving the decidability of equivalence problem (Q913523) ‎ (← links)
• The inclusion problem for some classes of deterministic multitape automata (Q1056540) ‎ (← links)
• Rational equivalence relations (Q1089801) ‎ (← links)
• The equivalence of finite valued transducers (on HDT0L languages) is decidable (Q1090467) ‎ (← links)
• A note on decision problems for three-way two-dimensional finite automata (Q1149774) ‎ (← links)
• Multiplicities: A deterministic view of nondeterminism (Q1194314) ‎ (← links)
• The inclusion problem for simple languages (Q1235014) ‎ (← links)
• Toward a mathematical theory of graph-generative systems and its applications (Q1237578) ‎ (← links)
• An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines (Q1239606) ‎ (← links)
• Äquivalente Transformationen für Flußdiagramme (Q1249431) ‎ (← links)
• Generalized \({}^{1,5}\) sequential machine maps (Q1252717) ‎ (← links)
• Equivalence problems for transducers with a bounded number of states (Q1280978) ‎ (← links)
• Synchronized tree automata (Q1325832) ‎ (← links)
• Complete system of equivalent transformations for two-tape automata with disjoint loops (Q1592077) ‎ (← links)
• Modelization of deterministic rational relations (Q1603699) ‎ (← links)
• Reflections on the phenomenon of Aleksej Andreevich Lyapunov (Q1817095) ‎ (← links)
• Solvability of equivalence problem for program machines (Q3341899) ‎ (← links)
• Loops in automata and HDTOL relations (Q3479541) ‎ (← links)
• Formalization of the concept of multitape automaton (Q3814815) ‎ (← links)
• Recursive converters on a memory (Q3885193) ‎ (← links)
• Equivalence of data flow schemas (Q4007313) ‎ (← links)
• Sufficient conditions of equivalence of three-tape automata (Q4007357) ‎ (← links)
• The Equivalence Problem of Finite Substitutions on <font>ab*c</font>, with Applications (Q5696933) ‎ (← links)