1 research outputs found
Strictly Locally Testable and Resources Restricted Control Languages in Tree-Controlled Grammars
Tree-controlled grammars are context-free grammars where the derivation
process is controlled in such a way that every word on a level of the
derivation tree must belong to a certain control language. We investigate the
generative capacity of such tree-controlled grammars where the control
languages are special regular sets, especially strictly locally testable
languages or languages restricted by resources of the generation (number of
non-terminal symbols or production rules) or acceptance (number of states).
Furthermore, the set theoretic inclusion relations of these subregular language
families themselves are studied.Comment: In Proceedings AFL 2023, arXiv:2309.0112