기본 언어 및 클로저 속성에서 모든 컨텍스트 프리 언어를 작성 하시겠습니까?

정규 표현식을 보는 한 가지 방법은 다음 사실에 대한 건설적인 증거입니다. 작은 언어로 시작하여 작은 고정 된 클로저 속성 세트를 통해 정규 언어를 조합하여 일반 언어를 구성 할 수 있습니다. 특히 빈 언어, 빈 문자열을 포함하는 언어 및 모든 단일 문자 문자열의 언어로 시작하면 공용체, 연결 및 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$