내 인수/대답 인 밖으로 찾기 y는 aregular 세트 인 경우, y로 받아들이는 DFA가 종료됩니다. L1에는 y = x^n이라는 조건이 있으며, y는 DFA에서 허용하므로 x는 L1에 속합니다. 그래서 x^n이고 따라서 x는 L1이므로 정규입니다. 이제 L2 -> 조건은 x = y^n입니다. 여기서 y는 DFA에서 허용하므로 y^n은 x와 같으므로 x는 DFA에서 승인 할 수 있습니다. 이것은 L1, L2를 모두 규칙적으로 만든다.
나의 주장은 맞습니까?
이 질문은 가난한 것처럼 보입니다. 예를 들어, A = {a}를 취하면 L1은 언어 {a}이고 L2는 언어 a *입니다. 둘 다 규칙적입니다. A = a * b를 선택하면 L1 = a * b (규칙적인)이고 L2 = {(a n b) m | m, n ≥ 0}. 정규 (펌핑 보조 정리 사용)는 아닙니다. 즉 대답은 대답의 선택에 달려 있습니다.
올바른 옵션이 없습니까? – Anjo
A = a * b이면 L2 = (a * b) * 물론 규칙적입니다. 자세한 내용은 내 대답을 참조하십시오. – chazisop
@chazisop 확실한가요? L_2는 직관적으로 A에서 개별 문자열을 선택하고 몇 번 복제하는 방식으로 얻은 언어입니다. 결과적으로 L_2에는 aabab이 없지만 A에 고정 된 문자열이 없기 때문에 두 번 선택하여 복제하여 aabab을 얻을 수 있습니다. – templatetypedef
'y'는 (는) 세트가 아니기 때문에 답변에 문제가 있습니다. – melpomene
나는 당신의 주장을 따르지 않습니다. x^n을 수락하는 DFA가있는 경우 x를 수락해야한다는 의미는 아닙니다. – melpomene