2010-01-13 3 views
1

시험을 위해 contex 무료 문법을 준비 중입니다. 언어가 왜 그런지 이해할 수 없었습니다.contex가 아닌 것이 의미하는 것은 무엇입니까 regular 무료

{ a^n b^n | n>=0} 

은 컨텍스트가 없지만 규칙적이 아닙니다. 왜 그렇게 규칙적이지 않습니까? 표현식이 규칙적이지 않다고 말할 수있는시기는 언제입니까? 그것이 regular expression 또는 (등가)를 finite state machine로 (정확히) 매칭 될 수없는 경우

감사

+0

이 시험의 계절입니다 될 수있다; 최근에 그런 질문이 SO – Krunal

답변

1

문맥 자유 문법을 사용하여 표현할 수 있기 때문에 컨텍스트가 없다고 말할 수 있습니다. 그러나 정규 표현식 (및 유한 오토마타)이 해당 언어를 표현할 수 없으므로 정규 표현식이 아닙니다.

1

문맥 자유 문법으로 표현할 수 있기 때문에 이전 답변에서와 마찬가지로 문맥은 무료입니다. 예를 들어

: 당신이 유한 상태 기계도 정규 표현식을 표현할 수 S -> aSb | ε

정기 없습니다 때문입니다. As의 수를 세고 그 수를 확인하십시오. 이것은 아무것도 표준 접근 방식은 사용하는 것입니다

2

에게이 될 수 N으로 유한 상태와 함께 할 수없는 Pumping Lemma

관련 문제