Insertion Operations on Deterministic Reversal-Bounded Counter Machines

Conference paper

DOI: 10.1007/978-3-319-15579-1_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8977)
Cite this paper as:
Eremondi J., Ibarra O.H., McQuillan I. (2015) Insertion Operations on Deterministic Reversal-Bounded Counter Machines. In: Dediu AH., Formenti E., Martín-Vide C., Truthe B. (eds) Language and Automata Theory and Applications. LATA 2015. Lecture Notes in Computer Science, vol 8977. Springer, Cham


Several insertion operations are studied applied to languages accepted by one-way and two-way deterministic reversal-bounded multicounter machines. These operations are defined by the ideals obtained from relations such as the prefix, infix, suffix and outfix relations. The insertion of regular languages and other languages into deterministic reversal-bounded multicounter languages is also studied. The question of whether the resulting languages can always be accepted by deterministic machines with the same number of turns on the input tape, the same number of counters, and reversals on the counters is investigated. In addition, the question of whether they can always be accepted by increasing either the number of input tape turns, counters, or counter reversals is addressed. The results in this paper form a complete characterization based on these parameters. Towards these new results, we use a technique for simultaneously showing a language cannot be accepted by both one-way deterministic reversal-bounded multicounter machines, and by two-way deterministic machines with one reversal-bounded counter.


Automata and logic Counter machines Insertion operations Reversal-bounds Determinism Finite automata 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Joey Eremondi
    • 1
  • Oscar H. Ibarra
    • 2
  • Ian McQuillan
    • 3
  1. 1.Department of Information and Computing SciencesUtrecht UniversityUtrechtThe Netherlands
  2. 2.Department of Computer ScienceUniversity of CaliforniaSanta BarbaraUSA
  3. 3.Department of Computer ScienceUniversity of SaskatchewanSaskatoonCanada

Personalised recommendations