문제

은 책 에서이 책에서 왔고, 다음 언어가 정기적인지 궁금합니다.

$$ l= {a ^ nww ^ r : n \ geqslant 0, w \ in \ {a, b \} ^ 3 \} $$

$$ \ {a ^ n : n \ geqslant 0 \} $$ 은 다음으로 표현할 수 있으므로정규 표현식 $$ a * $$ $$ \ {WW ^ R : W \ \ \ {A, B\} ^ 3 \} $$ 은 유한이기 때문에 정규 언어입니다.따라서 두 개의 정규 언어의 조합은 일반 언어를 만듭니다.

도움이 되었습니까?

해결책

이것은 not 두 개의 정규 언어의 노조입니다!그것은 연결 입니다.차이점,

에 유의하십시오

  1. UNION : $ L_1 \ CUP L_2 $
  2. 연결 : $ \ {ab : l_1 \ 웨지 b \ \ \ \ \ \ \ span>
  3. 다른 관찰이 정확하고 실제로 두 개의 일반 언어의 연결도 정규 자체입니다.일반 언어에 대해 두 개의 NFA를 구성하고 $ L_1 $ 의 시작 상태를 $ l_2 $ $ \ epsilon $ 을 사용합니다.

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 cs.stackexchange
scroll top