Abstract
Let Q be the class of deterministic two-way one-counter machines accepting only bounded languages. Each machine in Q has the property that in every accepting computation, the counter makes at most a fixed number of reversals. We show that the emptiness problem for Q is decidable. When the counter is unrestricted or when the machine is provided with two reversal-bounded counters, the emptiness problem becomes undecidable. The decidability of the emptiness problem for Q is useful in proving the solvability of some numbertheoretic problems. It can also be used to prove that the language L = {u1iu2i2|i≥0} cannot be accepted by any machine in Q (u1 and u2 are distinct symbols). The proof technique is new in that it does not employ the usual pumping, counting, or diagonal argument. Note that L can be accepted by a deterministic two-way machine with two counters, each of which makes exactly one reversal.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
