밀리 머신 출력 값이 현재 상태와 현재 입력에 의해 결정되는 계산 이론의 기계로 정의됩니다. 이 기계에서는 최대 한 번의 전환이 가능합니다.
6개의 튜플이 있습니다: (Q, q0, ∑, ▲, δ, λ')
- Q는 유한한 상태 집합입니다.
- q0은 초기 상태입니다.
- ∑는 입력 알파벳입니다.
- ▲는 출력 알파벳입니다
- δ는 Q×∑ → Q를 매핑하는 전이 함수입니다.
- 'λ'는 Q×∑→ ▲를 매핑하는 출력 함수입니다.
전제 조건 – Mealy 및 Moore 기계
자바를 업그레이드하는 방법
다이어그램은 다음과 같습니다.

무어 머신:
무어의 기계는 계산 이론에서 출력 값이 현재 상태에 의해서만 결정되는 기계로 정의됩니다. 또한 6개의 튜플이 있습니다.
(Q, q0, ∑, ▲, δ, λ)>
- Q는 유한한 상태 집합입니다.
- q0은 초기 상태입니다.
- ∑는 입력 알파벳입니다.
- ▲는 출력 알파벳입니다
- δ는 Q×∑ → Q를 매핑하는 전이 함수입니다.
- λ는 Q → ▲를 매핑하는 출력 함수입니다.
도표:

Mealy 머신과 Moore 머신의 차이점은 다음과 같습니다.
| 무어 머신 sed 명령 | 밀리 머신 |
| 출력은 현재 상태에만 의존합니다. | 출력은 현재 입력뿐만 아니라 현재 상태에 따라 달라집니다. |
| Moore 기계는 또한 전환에 출력을 배치합니다. | Mealy Machine은 전환에 출력을 배치합니다. |
| 더 많은 주가 필요합니다. | 더 적은 수의 상태가 필요합니다. |
| 회로 구현을 위한 하드웨어 요구 사항이 적습니다. | 회로 구현을 위해서는 더 많은 하드웨어 요구 사항이 있습니다. |
| 입력에 더 느리게 반응합니다(1 클럭 사이클 이후). | 입력에 더 빠르게 반응합니다. |
| 동기식 출력 및 상태 생성. | 비동기 출력 생성. |
| 출력은 상태에 배치됩니다. | 출력은 전환에 배치됩니다. |
| 디자인하기 쉽습니다. | 디자인하기가 어렵습니다. |
| 입력이 변해도 출력은 변하지 않는다 | 입력이 변하면 출력도 변한다. |
| Mealy 머신과 더 많거나 동일한 상태를 갖습니다. | 무어 머신의 상태와 더 적거나 동일한 상태를 가집니다. |