Solution to Bucher's density problem for context-free languages

Rastko Maslic, Jeffrey Shallit

In 1980 Bucher asked whether, given context-free languages $L\subseteq U$ with $U\setminus L$ infinite, there must be a context-free language $K$ between them for which both $K\set…