일반 언어에 단위 규칙이 없어야하는 이유 변수 -> 변수?

Question

나는 약 regular languages을 읽고 있었다. 나는 한 가지를 이해하지 못했습니다.

왜

가변 -> 변수가 허용되지 않습니까?

뒤에 이유는 무엇입니까?

같은 규칙이있는 경우 어떻게됩니까? 어떤 문법이 될까요?

Answer 1

아무런 반응이 없습니다 : 양식 A의 규칙을 추가하는에 어떤 그렇지 않으면 일반 문법 : = B가 정규 언어에 대한 문법이 될 것 - 물론 있지만 가능성이 동일하지 정규 언어를. 이러한 규칙이 소개 무엇

는 NFA 쌍이에 사용되는 람다/엡실론/빈 전환에 가깝다. 이러한 규칙은 "새로운 터미널 입력 기호를 사용하지 않고 비 터미널 B에 해당하는 상태에서 비 터미널 A에 해당하는 상태로 이동할 수 있습니다"라고 말합니다. 와 "C : = Dy가": "=의 xB A"와 같은 규칙을 의미 각각의 "C를 소모하여 C를 D에서 당신이 가서"와 "당신은 X를 소비 할 때 A와 B에서 갈 수 있습니다."

형식적으로, 우리는 "C : = xA"가 모든 C에 대해 "C : = xB"일 때 "A : = B"를 대체하여 항상 정규 문법에서 제거 될 수 있음을 보여줄 수 있습니다 문법의 제작. 그리고 "A : = A"는 항상 제거 할 수 있습니다.