Alle kontextfreien Sprachen aus einer Reihe von Basissprachen und Schließungseigenschaften erstellen?

Eine Möglichkeit, reguläre Ausdrücke zu betrachten, ist ein konstruktiver Beweis für die folgende Tatsache: Es ist möglich, reguläre Sprachen zu konstruieren, indem mit einer kleinen Menge von Sprachen begonnen und diese über eine kleine, feste Menge von Schließungseigenschaften kombiniert werden. Wenn wir mit der leeren Sprache, der Sprache, die die leere Zeichenfolge enthält, und den Sprachen aller Einzelzeichenfolgen beginnen, können wir alle möglichen regulären Sprachen mithilfe von Union, Verkettung und Kleene-Stern zusammenstellen.

Gibt es eine Reihe von Basissprachen und Schließungseigenschaften, mit denen alle und nur die kontextfreien Sprachen generiert werden können? (Zur Verdeutlichung: Ich frage nicht, ob Sie reguläre Ausdrücke für alle CFLs schreiben können, von denen ich weiß, dass dies unmöglich ist. Stattdessen frage ich mich, ob es eine Möglichkeit gibt, ein Framework für reguläre Ausdrücke für CFLs basierend auf dem zu entwerfen gleiche Grundprinzipien.)

$D_2$$\{ [,], (,) \}$$a_1,b_1,a_2,b_2$

$D_2$$D_2$$\mathcal{M}(D_2)$

$g(h^{-1}(D_2) \cap R)$$g$$h$$R$$R$$g$$h$$D_2$

$L \mapsto g(h^{-1}(L) \cap R)$$g,h,R$