왜이 언어는 정규 언어입니까?
문제
은 책 에서이 책에서 왔고, 다음 언어가 정기적인지 궁금합니다.
$$ l= {a ^ nww ^ r : n \ geqslant 0, w \ in \ {a, b \} ^ 3 \} $$
해결책
이것은 not 두 개의 정규 언어의 노조입니다!그것은 연결 입니다.차이점,
에 유의하십시오- UNION : $ L_1 \ CUP L_2 $
- 연결 : $ \ {ab : l_1 \ 웨지 b \ \ \ \ \ \ \ span>
다른 관찰이 정확하고 실제로 두 개의 일반 언어의 연결도 정규 자체입니다.일반 언어에 대해 두 개의 NFA를 구성하고 $ L_1 $ 의 시작 상태를 $ l_2 $ $ \ epsilon $ 을 사용합니다.
제휴하지 않습니다 cs.stackexchange