Pages that link to "Item:Q1056540"
From MaRDI portal
The following pages link to The inclusion problem for some classes of deterministic multitape automata (Q1056540):
Displaying 8 items.
- HDTOL matching of computations of multitape automata (Q582131) (← links)
- The equivalence problem of multitape finite automata (Q804302) (← links)
- New techniques for proving the decidability of equivalence problem (Q913523) (← links)
- Multiplicities: A deterministic view of nondeterminism (Q1194314) (← links)
- Modelization of deterministic rational relations (Q1603699) (← links)
- Decidability and syntactic control of interference (Q2481977) (← links)
- Loops in automata and HDTOL relations (Q3479541) (← links)
- On the equivalence problem for deterministic multitape automata and transducers (Q5096179) (← links)