2010-06-22 2 views
4

교차 방법을 사용하여 두 개의 DFA를 결합하는 방법은 무엇입니까?DFA 교차로를 얻는 방법?

+0

이 숙제가 있습니까? 그렇지 않으면 도서에서 정확한 철자법에 익숙하지 않지만 O (상태 전환) 시간에 실행 된 두 개의 DFA를 결합 할 수있는 프로그램이 생겼습니다. – Omnifarious

+0

나는 [비슷한 질문] (http://stackoverflow.com/questions/7732815/calculate-if-two-infinite-regex-solution-sets-dont-intersect) [대답] (http : // stackoverflow. co.kr/a/7732923/188044)이이 질문에 도움이 될 것입니다. –

+0

특히 EDIT : DFA가 L1 및 L2를 허용하면 DFA가 L1을 L2를 받아들이도록 만드는 방법을 설명합니다. – Patrick87

답변

2

형식적으로 설명 된 교차 제품 구성을 사용하십시오 (here).

기본적으로 각 제품의 상태 집합을 교차하여 각 컴퓨터의 상태 조합에 해당하는 메타 상태 목록을 가져옵니다. 이렇게하면 두 가지가 모두 수락되면 수락 할 병렬 평가를 수행 할 수 있습니다.