Pages that link to "Item:Q946704"
From MaRDI portal
The following pages link to Equivalence of two-dimensional multitape automata (Q946704):
Displaying 11 items.
- A new approach to solving equivalence problem (Q557497) (← links)
- A class of multitape automata with a decidable equivalence problem (Q794436) (← links)
- Algorithm for establishing the equivalence of deterministic multitape automata (Q904421) (← links)
- The equivalence problem of multidimensional multitape automata (Q955343) (← links)
- Complete system of equivalent transformations for multitape automata (Q1403274) (← links)
- Complete system of equivalent transformations for two-tape automata with disjoint loops (Q1592077) (← links)
- Equivalence checking of prefix-free transducers and deterministic two-tape automata (Q2278270) (← links)
- Two-way two-tape automata (Q2408799) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)
- A survey of two-dimensional automata theory (Q2638801) (← links)
- The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape (Q3564880) (← links)