Pages that link to "Item:Q758956"
From MaRDI portal
The following pages link to The equivalence problem for deterministic two-tape automata (Q758956):
Displayed 31 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)
- The problem of equivalent transformations for homogeneous multitape automata (Q840024) (← 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)
- Minimality and deadlockness of multitape automata (Q3184541) (← 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)