On synchronized multi-tape and multi-head automata
From MaRDI portal
Publication:443740
Recommendations
Cites work
- A note on semilinear sets and bounded-reversal multihead pushdown automata
- New Decidability Results Concerning Two-Way Counter Machines
- Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
- Relational string verification using multi-track automata
- Reversal-Bounded Multicounter Machines and Their Decision Problems
- Symbolic String Verification: Combining String Analysis and Size Analysis
- The equivalence problem of multitape finite automata
Cited in
(8)- Multitape NFA: Weak Synchronization of the Input Heads
- scientific article; zbMATH DE number 6665216 (Why is no real title available?)
- On the open problem of Ginsburg concerning semilinear sets and related problems
- On deciding synchronizability for asynchronously communicating systems
- Weak synchronization and synchronizability of multitape pushdown automata and Turing machines
- How to synchronize the heads of a multitape automaton
- On Synchronized Multitape and Multihead Automata
- How to synchronize the heads of a multitape automaton
This page was built for publication: On synchronized multi-tape and multi-head automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q443740)
