formal-languages Archives

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

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

답변

$D_{2}$

${[,], (,)}$

{[,],(,)}

$a_{1}, b_{1}, a_{2}, b_{2}$

a1,b1,a2,b2

$D_{2}$

$M (D_{2})$

M(D2)

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

g(h−1(D2)∩R)

$g$

$h$

$R$

$g$

$h$

$D_{2}$

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

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

$g, h, R$

g,h,R

How IT

언제든지 물어보세요.

태그 보관물: formal-languages

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

답변

답변