Cartesian 제품으로 무엇을 얻고 있는지 잘 모르겠습니다. 이것은 두 오토마타를 동시에 시뮬레이트하여 교차점을 제공합니다. 그러나 당신은 모든 단어를 식별 할 에서 접미사가 ! 즉, 직관적 인 수준입니다.엘

$L$아르 자형

$R$

입력이 가정하십시오 . 분명히, 우리는 가능한 모든 연속을 확인할 수는 없지만 ( 멤버십의 경우) 유한 한 수만 확인할 수 있습니다. Artem의 의견 이 여기에 가장 도움이됩니다. 우리 는 접미사 가 무엇인지 추측 하고 두 automata를 실행합니다.승 ∈Σ※

$w \in \Sigma^*$아르 자형

$R$엑스

$x$

하자 및 위해 PDA를 및 NFA 각각. 다음과 같이 오토 마톤 를 구성하십시오. 입력 에서 시뮬레이션 . 가 소비 된 후 상태를 에서 유지하면서 과 의 수정 된 교차로 로 . 이제 모든 전환에 대해 가상 입력에서 다음에 어떤 심볼이 있는지 결정적으로 결정하십시오. 수락 IF 및 두 구성 요소에만 경우에 동시에 최종 상태에 도달ㅏ엘

$A_L$

$A_L$ㅏ아르 자형

$A_R$

$A_R$L

$L$

$L$R

$R$

$R$A

$A$

$A$w∈Σ∗

$w\in {\mathrm{\Sigma }}^{\ast }$

$w \in \Sigma^*$AL

$A_L$

$A_L$w

$w$

$w$AL,R

$A_{L,R}$

$A_{L,R}$AL

$A_L$

$A_L$AR

$A_R$

$A_R$AL

$A_L$

$A_L$w

$w$

$w$AL,R

$A_{L,R}$

$A_{L,R}$w

$w$

$w$연속 있으므로 및 입니다.x

$x$

$x$wx∈L

$wx\in L$

$wx \in L$x∈R

$x\in R$

$x \in R$

공식적인 문법을 사용할 수도 있습니다. 두 개의 문법으로 동시에 파생 할 수있는 방법을 알고 있습니까? 일반적으로 어떻게 적응시키는 지 명확하지 않으므로 접미사를 처리 할 수 ​​있습니다. 사용 촘스키 정규형하는 데 도움이됩니다.GL

$G_L$

과 이 모두 Chomsky 일반 형식으로 제공 되었다고 가정합니다 . 가장 오른쪽에있는 비 터미널이 구별되도록 수정 하고 시작 기호를 새 시작 기호로 만드십시오. 과 에서 병렬로 파생되는 문법으로 이어지는 비 터미널의 새 버전의 구별 된 버전을 소개합니다 (비 터미널은 비 터미널의 쌍입니다). 두 문법이 모두 터미널 기호에 동의하면 복합 비 터미널을 삭제하십시오. 이러한 방식에서, 접미사 그것이 유도 될 수있는 경우와있는 경우에만 삭제 이상에서 그것은 남아 .GL

$G_L$

$G_L$GR

$G_R$

$G_R$GL

$G_L$

$G_L$GL

$G_L$

$G_L$GR

$G_R$

$G_R$GL

$G_L$

$G_L$GL

$G_L$

$G_L$GR

$G_R$

$G_R$w∈L/R

$w\in L/R$

$w \in L/R$

답변