Chomsky-Schutzenberger representation theorem
Theorem. Every context-free language arises as the intersection of a regular language and a Dyck language under a homomorphism.
Proof. The constructive proof of the Chomsky-Schutzenberger representation theorem uses the contour of a multicategory and applies it to the multicategory generated by a context-free grammar.
More.