HOW TO SYNCHRONIZE THE HEADS OF A MULTITAPE AUTOMATON

DOI10.1142/S0129054113400194zbMath1286.68285OpenAlexW2136153487MaRDI QIDQ5401557

Oscar H. Ibarra, Nicholas Q. Tran

Publication date: 10 March 2014

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054113400194

zbMATH Keywords

synchronizedsemilinear1-reversal countersmultitape automatareversal-bounded countersdecidableundecidablealigned

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

On deciding synchronizability for asynchronously communicating systems

Cites Work

• Reversal-bounded multipushdown machines
• Reversal-Bounded Multicounter Machines and Their Decision Problems
• On Context-Free Languages

This page was built for publication: HOW TO SYNCHRONIZE THE HEADS OF A MULTITAPE AUTOMATON