Re: separating context-free languages by regular languages



Thank you! This is very elegant.
.