안녕하세요 , 컴파일러 기초 클래스 듣고 있는데
난데없이 질문 좀 드립니다 .
Context -free grammar , 우리나라 말로는 문맥 자유 언어 인데요 ..
S -> A | B
A -> 000A | 엡실론
B -> 00B | 엡실론
이걸 정규표현식으로 나타내는 건데 ,
저는 S 는 A 나 B 로 가지 쳐질 수 있고 ,
A 는 다시 000 이 왼쪽에 붙어나가는 형태고 , B 는 00 이 붙어나가는 형태이고 , 이 그래머는 empty 를 만족하니까
그리고 두 왼쪽 , 오른쪽의 가지로 이루어진 언어니까 ..
(000)*U(00)*
이 되겠는건 알겠습니다.헌데 , 이 형태 대로라면 , GRAMMAR 가 ambiguous 하지 않나요 ?
예를 들어 ,
aaaaaa 같이 6의 배수로 나오는 애들은
전부 다