Pages that link to "Item:Q794436"
From MaRDI portal
The following pages link to A class of multitape automata with a decidable equivalence problem (Q794436):
Displaying 10 items.
- A new approach to solving equivalence problem (Q557497) (← links)
- HDTOL matching of computations of multitape automata (Q582131) (← links)
- The equivalence problem of multitape finite automata (Q804302) (← links)
- Equivalence of two-dimensional multitape automata (Q946704) (← links)
- The equivalence problem of multidimensional multitape automata (Q955343) (← links)
- Complete system of equivalent transformations for multitape automata (Q1403274) (← links)
- Loops in automata and HDTOL relations (Q3479541) (← links)
- LABELLING MULTI-TAPE AUTOMATA WITH CONSTRAINED SYMBOL CLASSES (Q3503099) (← links)
- The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape (Q3564880) (← links)
- Implementation and Application of Automata (Q5463990) (← links)