태그 보관물: formal-languages

formal-languages

기본 언어 및 클로저 속성에서 모든 컨텍스트 프리 언어를 작성 하시겠습니까? 빈 언어, 빈 문자열을 포함하는 언어

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

컨텍스트없는 언어를 모두 생성하는 데 사용할 수있는 기본 언어 및 클로저 속성 세트가 있습니까? (명확하게 : 나는 당신이 모든 CFL에 대해 정규 표현식을 작성할 수 있는지 묻지 않습니다. 불가능합니다. 대신, CFL을 위해 정규 표현식과 같은 프레임 워크를 디자인하는 방법이 있는지 궁금합니다. 동일한 기본 원칙.)



답변

D2

{[,],(,)}

a1,b1,a2,b2

D2

D2

M(D2)

g(h−1(D2)∩R)

g

h

R

R

g

h

D2

L↦g(h−1(L)∩R)

g,h,R

답변