Побудова всіх безконтекстних мов із набору базових мов та властивостей закриття?

Один із способів перегляду регулярних виразів є конструктивним доказом наступного факту: побудувати звичайні мови можна, починаючи з невеликого набору мов та поєднуючи їх за допомогою невеликого фіксованого набору властивостей закриття. Зокрема, якщо ми почнемо з порожньої мови, мови, що містить порожню рядок, та мов усіх односимвольних рядків, ми можемо зібрати всі можливі регулярні мови за допомогою з'єднання, конкатенації та зірки Kleene.

Чи є набір базових мов та властивостей закриття, які можна використовувати для генерування всіх та лише контекстних мов? (Для уточнення: я не запитую, чи можете ви писати регулярні вирази для всіх CFL, що, на мою думку, неможливо. Натомість мені цікаво, чи існує спроектувати рамку, що нагадує регулярні вирази, для CFL на основі ті ж основні принципи.)

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