On Finite-Index Indexed Grammars and Their Restrictions
Abstract
The family, L(INDLIN), of languages generated by linear indexed grammars has been studied in the literature. It is known that the Parikh image of every language in L(INDLIN) is semi-linear. However, there are bounded semi linear languages that are not in L(INDLIN). Here, we look at larger families of (restricted) indexed languages and study their properties, their relationships, and their decidability properties.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2016
- DOI:
- 10.48550/arXiv.1610.06366
- arXiv:
- arXiv:1610.06366
- Bibcode:
- 2016arXiv161006366D
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- 68Q45
- E-Print:
- 16 pages, latest version