컴파일러 : 모호한 문법 변경

Question

이 연습에는 약간의 문제가 있습니다. 이 문법을 감안할 때

:

S -> aX | X 
X -> aXb | b | eps 

A)는 문자열

B)) 문법

C를 캡처 어떤 언어로 말하는 문법을 변경하고 후손을 구축 모호한 것을 보여준다 파서

해결 방법 :

a)

L = {a^n b^n: n >= 0} U {a^n b^m: n=m+1, n,m >= 0} U {a^n b^m: m=n+1, n,m >= 0} 

C) 내 문제는 파서를 구축 할 수있는 문법을 변경할 수 있습니다 : 문법이 언어를 캡처

- S -> aX -> ab 
- S -> X -> aXb -> ab 

B) : 나는 문자열 'AB'와 모호한 보여줍니다. 다른 문법을 시도하지만 모호합니다. 예를 들어이 들어 는 :

- G -> X$ 
    X -> aX' | b | eps 
    X' -> XB | eps 

는 당신이 날 행사에 대한 올바른 문법을 찾거나 나에게 입력을 제공하기 위해 도와 드릴까요? you.undoubtedly다시피

Answer 1

,

S -> X | a S b 

는 "a S와 S b 동수로 둘러싸여 X의 인스턴스"로 설명 될 수있는 언어. 여기서 X은 재귀의 기본입니다.

설정 한대로 대상 언어는 각 문자의 수가 같거나 하나의 문자가 하나 더 있습니다. 따라서 우리는 "X의 단순한 정의가이 언어를 생성 할 수있는 것은 무엇입니까?"라고 묻습니다.