Techniques for Showing the Decidability of the Boundedness Problem of Language Acceptors

Oscar H. Ibarra, Ian McQuillan

There are many types of automata and grammar models that have been studied in the literature, and for these models, it is common to determine whether certain problems are decidable…