Re: separating context-free languages by regular languages



sasha wrote:
> Give two disjunct context-free languages L1, L2 so that there is no pair
> of disjunct regular languages (R1,R2) with Li subset Ri (i=1,2).

The Dyck language D(u;v), given by the grammar:
D(u;v) -> u D(u;v) v D(u;v)
D(u;v) -> empty word
and its complement D'(u;v) = (u|v)* - D(u;v), given by the (extended)
context-free grammar
D'(u;v) -> D(u;v) v (u|v)*
D'(u;v) -> (u|v)* u D(u;v)

> I would be glad for any references or ideas.

Find a non-regular context-free language whose complement is
context-free.

.