Chomsky–Schützenberger theorem

In formal language theory, the Chomsky–Schützenberger theorem may refer to either of two different theorems derived by Noam Chomsky and Marcel-Paul Schützenberger concerning context-free languages: