태그 보관물: fl.formal-languages

fl.formal-languages

프리픽스 및 포스트 픽스에서 명확한 문맥없는 언어의 폐쇄. 에 컨텍스트가없고 모호하지 않은 문법이 있다면

문맥없는 언어로 하자 . 정의 P의 P의 C ( L를 ) 의 프리 및 포스트 픽스 폐쇄 될 L 즉, P에서 P의 C ( L은 ) 모두 포함 L 프리픽스 및 포스트 픽스, 따라서 S ‘ L 자체. 내 질문 : L 에 컨텍스트가없고 모호하지 않은 문법이 있다면 p p c ( L )에 대해서도 마찬가지 입니까?

L

ppc(L)

L

()

()

나는 이런 종류의 기본적인 질문이 언어 이론의 전성기에서 이미 해결되었을 것이라고 생각하지만 적절한 참조를 찾을 수는 없습니다.



답변

집합 은 확실히 문맥이 없지만 본질적으로 모호 할 수 있다고 생각합니다
.L = { a m b m c n d m , n 0 } { d a m b n c nm , n 0 }

()

다음 P의 P의 C ( L은 ) 고전 본질적 모호한 언어를 포함하는 L을 = {

={미디엄미디엄미디엄,0}{미디엄미디엄,0},

()

하나는 증명할 수있는 P의 P의 C ( L를 ) (모두 오그의 보조 정리를 적용 통상 인수 본질적 모호한도 N + N ! B N C , N N의 B N C N + N ! 둘의 존재를 추론 할 위한 별개의 나무 N + N ! B N + N ! C , N + N ! ).

={미디엄미디엄미디엄,0}{미디엄미디엄,0},

()

+!

+!

+!+!+!


답변