Abstract

The family, \({\mathsf{{\mathcal {L}}(IND_{LIN})}}\), of languages generated by linear indexed grammars has been studied in the literature. It is known that the Parikh image of every language in \({\mathsf{{\mathcal {L}}(IND_{LIN})}}\) is semi-linear. However, there are bounded semi-linear languages that are not in \({\mathsf{{\mathcal {L}}(IND_{LIN})}}\). Here, we look at larger families of (restricted) indexed languages and study their properties, their relationships, and their decidability properties.

Full Text
Published version (Free)

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 call