나는이 문법을 사용하여 FA를 정의 할 수 있습니다 S -> aSb
S -> c
S -> dA
A -> Sd
가 어떻게 첫 번째 규칙과 마지막을 관리합니까? 둘째로 나는 다른 상태 (마지막 상태)를 만들고 S와이 새로운 상태를 만들어야한다고 생각합니다. 세 번째 대신에 나는 상태 "A"를 만들고 "d"를 전달하여 S에 연결해야한다고 생각합니다.
언어는 중요하지 않지만 정규식을 NFA 테이블로 변환하는 방법을 알아야합니다. 예를 들어 "(ab) * + ba"는 으로 바뀝니다. T | a | b |^ 0 | N | 1 | 2 1 | 3 | N | N 2 | 4 | N | 3 3 | N | N | N 4 | N | 2 | N 누군가가 올바른 방향으로 나를 가리 키거나 도움이 될 수 있다면 어떻게하면 좋
현재 언어에 대한 영어 설명을 취한 다음 해당 설명을 사용하여 해당 사양의 DFA를 만드는 프로그램을 작성 중입니다. 나는 특정 작업을 허용한다. example {w | w는 처음에는 01이라는 서브 문자열을 가짐} 및 짝수 홀수 서브 스트링, k 서브 스트링보다 덜 정확하거나 정확하게 같은 다른 옵션을 갖는다. 사용자는 또한 알파벳을 선택한다. 내 질문은
다음 연습 문제를 해결하는 방법을 배우려고합니다. 나는 시작하는 방법을 이해하지 못한다. 압도적이다. DFA, NFA 및 DFA를 NFA로 변환하는 방법을 알고 있습니다. 나는 또한 형식적인 표기법을 이해한다. 이것은 숙제 연습이 아니라 공부하기위한 것입니다. 나는 해결책을 가지고 있지만 어느 것이 든 이해할 수는 없다 .. 누군가가 놀랄만한 운동을 할 수
다음 언어는 간단한 언어를 보완합니다. 간단한 언어로 DFA를 만든 다음이 언어를 사용하여 Σ = {a, b} 인 주어진 언어에 대한 DFA의 상태 다이어그램을 제공하십시오. L = {w : w는 하위 문자열 baba를 포함하지 않습니다}. 어떤 언어가 더 간단한 지 모르겠지만 아무에게도 설명해주십시오.
나는 TM = DFA는 정지에서 감소를 사용하여 결정 불가능하다는 것을 증명하고있다 이론적으로 Turing Machine은 계산 가능한 모든 기능을 캡처하고 DFA는 상수로 계산할 수있는 기능 만 캡처한다는 것을 이해합니다. 공간 따라서 TM = DFA는 결정 불가능하다. 여기 내 단계는 : 결정하는 R L (M) = L (D)를 가정 EQ_DM = {[D
양방향 DFA에서 NFA를 작성하려고하지만 여기에 설명 된대로 변환 된 변환 인 오른쪽/왼쪽 일치의 아이디어를 얻을 수 없습니다. http://smartclassacademy.blogspot.cz/2012/11/two-way-finite-automata.html 사람은 다른 말로 그것을 설명 할 수 있습니까? 감사합니다.
비밀번호를 확인한 다음 정규식을 사용하여 DFA를 만들어야합니다. 세트들은은 : A = {A, ..., Z} | A = {A, ..., Z} | D는 = {0, ..., 9} 기준은 : 는 문자로 시작 (케이스 경우 상하 중요하지 않다). | 대문자가 하나 이상 있어야합니다. | 최소 1 개의 소문자를 포함해야합니다. | 적어도 하나의 숫자를 포함해야합니다