# 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.*