본질적으로 모호하고 결정론적인 문맥이없는 언어가 있습니까?

36

결정 론적 푸시 다운 오토 마톤에 의해 수용 될 수있는 경우에만 문맥없는 언어 결정론을 호출하고 그렇지 않으면 비결정론 적이라고하자.

언어를 생성하는 모든 문맥이없는 문법이 모호하고 그렇지 않으면 모호하지 않은 경우에만 문맥이없는 언어를 본질적으로 모호하게하자.

결정적이고 모호하지 않은 언어의 예는 다음과 같은 언어입니다. 비결정적이고 명확한 언어의 예는 다음과 같은 언어입니다.

{a^{n} b^{n} \in {a, b}^{*} | n \geq 0}

$\{a^{n}b^{n} \in \{a, b\}^{*} | n \ge 0\}$

{w \in {a, b}^{*} | w = w^{R}}

$\{w \in \{a, b\}^{*} | w = w^{R}\}$

에서 위키 , 본질적 모호한 문맥 자유 언어의 예는 문맥 없어야 문맥 자유 언어의 다음의 조합이다 :

L = {a^{n} b^{m} c^{m} d^{n} \in {a, b, c, d}^{*} | n, m \geq 0} \cup {a^{n} b^{n} c^{m} d^{m} \in {a, b, c, d}^{*} | n, m \geq 0}

$L = \{a^{n}b^{m}c^{m}d^{n} \in \{a, b, c, d\}^{*} | n, m \ge 0\} \cup \{a^{n}b^{n}c^{m}d^{m} \in \{a, b, c, d\}^{*} | n, m \ge 0\}$

이제 질문이 있습니다.

결정적이고 본질적으로 모호한 문맥이없는 언어가 존재하는지 여부가 알려져 있습니까? 그렇다면 (쉬운) 예가 있습니까?
비결정적이고 본질적으로 모호한 문맥이없는 언어가 존재하는지 여부는 알려져 있습니까? 그렇다면 (쉬운) 예가 있습니까?

분명히, 본질적으로 모호한 문맥이없는 언어가 존재하기 때문에 ( 은 예), 이 결정론 적인지 비결정론 적인지 알면 이러한 질문 중 하나에 대한 대답은 쉽습니다 . 또한 결정 론적 요소가 있다면 비결정론 적 요소가 있어야한다는 것이 사실이라고 가정하지만, 이전에는 놀랐습니다. 잘 알려진 유명한 결과 인 경우 사전에 감사의 말씀을 전하며 사과드립니다 (이 경우에는 완전히 알지 못합니다). $L$ $L$

— 패트릭 87
소스

30

$L$ $L$

비 결정적 오토 마톤으로 인식 할 수있는 경우에만 문맥이없는 문법으로 언어를 설명 할 수 있습니다. 이 경우의 특수한 경우로, 본질적으로 모호한 문맥없는 문법은 일부 비 결정적 오토 마톤에 의해 구문 분석 될 수 있습니다.

마지막으로, 결정 론적 푸시 다운 오토 마톤도 비결정론 적입니다 (비결정론의 합리적인 정의를 위해 비결정론적일 수있는 모든 경우에 해당).

— 알렉스 텐 브 링크
소스

모든 결정 론적 CFL이 본질적으로 모호하지 않다는 사실에 대한 참조로 +1. 사실, 그것은 다른 질문에도 대답합니다. 본질적으로 모호한 언어가 있고 결정적이지 않기 때문에 비결정론 적이어야합니다 (비결정론 적 CFL에 대한 나의 정의는 결정 론적 CFL을 배제하기 때문에 표준이 아니라는 점에 유의하십시오. 그것은 내 잘못입니다) 용어를 잘못 사용하는 경우). 어쨌든, 당신은 질문 (2)에 대한 예를 제시했고 그 질문 (1)이 불가능하다는 것을 보여주었습니다. 누군가가 더 자세히 설명하고 기다릴 수 있지만 그렇지 않으면 올바른 것으로 받아 들일 것입니다. 감사!

— Patrick87

0

위키피디아와 그에 대한 답변 및 이에 대한 귀하의 의견을 읽고, (Q2)를 명확하게 말하면, 본질적으로 모호한 모든 CFL은 std defn (자신의 예를 포함하여)에서 비 결정적이어야합니다. 이 심판을 가로 질러 달렸다

본질적으로 모호한 문맥이없는 언어 / Shamir 및 다른 언어 는 문헌에서 연구됩니다.

— vzn
소스