Costruire tutte le lingue senza contesto da un insieme di lingue di base e proprietà di chiusura?

Un modo di guardare le espressioni regolari è come una prova costruttiva del seguente fatto: è possibile costruire le lingue regolari iniziando con un piccolo set di lingue e combinandole tramite un piccolo set fisso di proprietà di chiusura. In particolare, se iniziamo con la lingua vuota, la lingua contenente la stringa vuota e le lingue di tutte le stringhe a carattere singolo, possiamo assemblare tutte le possibili lingue regolari usando unione, concatenazione e stella di Kleene.

Esiste un insieme di lingue di base e proprietà di chiusura che possono essere utilizzate per generare tutte e solo le lingue senza contesto? (Per chiarire: non sto chiedendo se è possibile scrivere espressioni regolari per tutti i CFL, cosa che so sia impossibile. Invece, mi chiedo se esiste un modo per progettare un framework simile all'espressione regolare per CFL basato sul stessi principi di base.)

$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$