2017-09-26 23 views
1

A, B, C를 유예로합시다. 방정식 X = AX + BX + C를 고려하십시오. 해답 X가 유예되어야합니까?A, B, C를 유행 시키십시오. 방정식 X = AX + BX + C를 고려하십시오. 해답 X가 유예되어야합니까?

이 질문을 해결할 수 있도록 도와 주시겠습니까? fad는 일반 언어입니다.

+0

빠른 질문, 무엇이 유행입니까? – user1700890

+0

유행은 유한 자동체이다 정의 할 수있는 또는 정규 언어 – AmrutaMV

+0

'+'연산자는 노동 조합 또는 연결을 나타 냅니까? 나는 노조를 추측하고있다. X는'(A | B) * C'처럼 정의 될 수 있습니다. – Welbog

답변

1

병치 (AX)는 연결을 의미하고 +는 공용을 의미합니다. 그런 다음 빈 문자열과 빈 언어 만 포함하는 FAD 언어 인 A = B = {e}와 C = {} 그렇다면 X를 임의의 비 FAD 언어로 보자. 분명히, 방정식 X = AX + BX + C는 AX = X, BX = X 및 X + X + {} = X이므로 참입니다.

다음은 {e} 및 {}에 대한 FA입니다 원하는) 연습 문제로 남아 : 병렬 및 노동 조합이 다른 것을 의미하는 경우, 대답은 변경 될 수 있습니다

   /-\ 
--->[q0]-s->q1 | s 
       \-/ 
     /-\ 
--->q0 | s 
     \-/ 

. 예를 들어, 아마도 연결 +을 의미 할 수도 있지만, 그렇다면 병치 (노조 교차점)를 어떻게 만들지 모르겠다.