은 일반, 컨텍스트 무료 또는 기타로 분류됩니다.

Question

누군가가 다음 질문에 대답하고 저에게 바보짓을 할 수 있습니까? 완전히 아이디어를 파악하지 못했습니다. 나는 "정확히 터미널이란 무엇입니까?"와 같은 것에 전반적으로 혼란 스럽습니다. "w는 무엇을 의미합니까?"

여기 실제 질문은 정규식, 문맥없는 것 또는 기타로 분류하십시오.

a) {a^nb^na^n} ∩의 수는 짝수입니다.
b) (a^NB^N) ∪ 회문
c) 상기 N + m^B

를 분류하고 설명주세요^m^A를 2N.

Answer 1

{a^nb^na^n} ∩의 수는 짝수입니다.

{a^n b^n a^n}의 모든 문자열에는 2n a, 짝수가 있으므로 교차로가 언어를 더 이상 제한하지 않습니다. 교차점은 {a^n b^n a^n}와 같습니다. 이것은 표준 상황에 맞는 언어 중 하나 인^n b^n c^n과 유사합니다. 문맥 자유 언어에 대한 펌핑 보조 정리를 사용하여 문맥 자유가 아닌 언어임을 보여줄 수 있습니다. 그런 다음,^nb^na^n이 컨텍스트 프리 인 경우 이전 PDA에 대한 PDA 만 처리 할 수 ​​있기 때문에 (a + c)^nb^n (a + c)^n도 좋을 것입니다. a와 c는 동일하고 후자를 받아 들인다. 그러나 CFL과 RL의 교차점은 CFL이어야하며 (a + c)^nb^n (a + c)^n 교차점은 bb cc *는 a^nb^nc^n (n> 0)입니다.), 문맥 자유롭지 않은, 모순. 다른.

(a^NB^N) ∪ 회문

이 가정은 보통이었다. 그렇다면 이상한 길이의 모든 문자열의 정규 언어와의 교차점은 규칙적입니다. 위 유니온의 모든 홀수 길이 문자열은 홀수 길이의 문장입니다. 홀수 길이의 문장은 일정하지 않으며 모순입니다. 이제 a^n b^n은 CFG에 의해 주어집니다. S : = aSb | "", 그리고 문장은 문맥없는 언어의 표준적인 예이며, CFL의 조합은 또한 CFL이기 때문에 이것은 문맥 상 무료입니다.

^(N + m) B^(m)은^(2N)

우리는^N A를^m의 B^m A를^2N으로 이것을 다시 쓸 수있다. CFG는 S : = Q이므로 CONTEXT FREE입니다. Q : = aQaa | ""| 아르 자형; R : = aRb | "". 정규 언어에 대한 펌핑 보조 정리에 의해 정규가 아님을 나타낼 수 있습니다.