-2
결정론적인 유한 오토 마타를 사용하여 커피 기계를 표현하는 방법을 알고 싶습니까?DFA를 사용하여 커피 기계를 표현하는 방법은 무엇입니까?
저는이 일을하기 위해 많은 노력을했습니다. 자연수와 일대일로 대응시켜 각 프로세스를 하나의 세트로 표현했습니다. 그러나 DFA를 사용하여 표현하는 방법을 여전히 알지 못합니다.
A
답변
3
첫째, 당신의 자동 장치가 될 수있는 상태를 상상하려고처럼 뭔가 :.
Off, Ready, Working
을 그 후에 당신은 이러한 상태를 전환하기 위해 수행해야하는 버튼이나 입력을 상상한다. 모든 상태에 대한 모든 입력을 정의하는 것을 잊지 마십시오. 여러 장면 전환을 생략하면 자동 장면은 결정적이지 않으므로 NFA입니다. 전환은 다음과 같을 수 있습니다 :
0 for power off/on
1 for start/stop working
Off -0-> Ready
Ready -1-> Working
Ready -0-> Off
Working -1-> Ready (4 for the actual working process)
Off -1-> Off
Working -0-> Working (nothing happens in this cases)
상태를 주어진 전환과 연결하면 voilá!
+0
그래서 NFA를 사용해야합니다 .http : //heim.ifi.uio.no/~mmo/generic/papers/coffee/Coffee-1.html 첨부 파일 영역 첨부 파일 미리보기 커피 머신 디자인 문제 : 제 1 부. html [HTML] –
+2
예, 이것은 NFA입니다. 하지만 stackoverflow 누군가가 elses 숙제를 해결하는 방법에 대한되지 않습니다! ;) –
+0
나는 도움이 조금 필요하다. 그래서 나는 질문을 올렸다. 너희들이 관심 없다면 괜찮아. 나는 혼자서 그것을 할 것이다. –
이 숙제가 있습니까? 중간 결과 중 일부를 보여줄 수 있습니까? 어떤 단계에서 당신은 붙어 있었습니까? 모델링에서 어떤 형식/표기법을 만들고 싶습니까? –
예, 당신 말이 맞았어요! –