On the Boundedness Property of Semilinear Sets

DOI10.1007/978-3-642-38236-9_15zbMath1382.68135OpenAlexW124299431MaRDI QIDQ4922123

Shinnosuke Seki, Oscar H. Ibarra

Publication date: 28 May 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38236-9_15

zbMATH Keywords

boundedsemilinear setdecidableundecidablemultitape NFAgenerator with statesgenerator without states

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Limitations of self-assembly at temperature 1
• On the reachability problem for 5-dimensional vector addition systems
• Some decision problems concerning semilinearity and commutation.
• Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines
• Multitape NFA: Weak Synchronization of the Input Heads
• How to Synchronize the Heads of a Multitape Automaton
• Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent Deterministic Automata
• RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA
• Reversal-Bounded Multicounter Machines and Their Decision Problems
• CHARACTERIZATIONS OF BOUNDED SEMILINEAR LANGUAGES BY ONE-WAY AND TWO-WAY DETERMINISTIC MACHINES
• On Synchronized Multitape and Multihead Automata
• On Context-Free Languages

This page was built for publication: On the Boundedness Property of Semilinear Sets