Dissecting power of intersection of two context-free languages
Abstract
We say that a language is \emph{constantly growing} if there is a constant such that for every word there is a word with . We say that a language is \emph{geometrically growing} if there is a constant such that for every word there is a word with . Given two infinite languages , we say that \emph{dissects} if and . In 2013, it was shown that for every constantly growing language there is a regular language such that dissects . In the current article we show how to dissect a geometrically growing language by a homomorphic image of intersection of two context-free languages. Consider three alphabets , , and such that and . We prove that there are context-free languages , an erasing alphabetical homomorphism , and a nonerasing alphabetical homomorphism such that: If is a geometrically growing language then there is a regular language such that dissects the language .
Keywords
Cite
@article{arxiv.2006.15160,
title = {Dissecting power of intersection of two context-free languages},
author = {Josef Rukavicka},
journal= {arXiv preprint arXiv:2006.15160},
year = {2024}
}