이 번역 페이지는 최신 내용을 담고 있지 않습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
밀리 의미 체계를 사용하여 자판기 모델링하기
R2025b이 예제에서는 밀리 의미 체계를 사용하여 자판기를 모델링하는 방법을 보여줍니다. 밀리 차트는 상태에서가 아니라 천이에서만 출력값을 계산합니다. 자세한 내용은 Design Considerations for Mealy Charts 항목을 참조하십시오.
밀리 자판기의 논리
이 예제에서 자판기가 탄산음료 캔 하나를 배출하려면 15센트가 필요합니다. 구매자는 5센트 동전이나 10센트 동전을 하나씩 삽입하여 탄산음료를 구매할 수 있습니다. 차트는 밀리 머신과 유사하게 동작합니다. 출력값 soda가 입력 동전과 현재 상태 모두에 따라 달라지기 때문입니다.
got_0 — 동전을 받지 않았거나 남은 동전이 없습니다.
5센트 동전을 받고(
coin == 1) 출력값soda는 0으로 유지되지만, 상태got_nickel이 활성화되는 경우.10센트 동전을 받고(
coin == 2) 출력값soda는 0으로 유지되지만, 상태got_dime이 활성화되는 경우.입력 동전이 10센트 동전 또는 5센트 동전이 아니고 상태
got_0이 활성 상태를 유지하고 탄산음료가 배출되지 않는(출력값soda = 0) 경우.
got_nickel — 5센트 동전을 받았습니다.
또 다른 5센트 동전을 받고(
coin == 1) 상태got_dime이 활성화되지만, 캔이 배출되지 않은(soda가 0을 유지) 경우.10센트 동전을 받고(
coin == 2), 캔이 배출(soda = 1)되고, 10센트 동전이 보관되고, 남은 동전이 없어 활성 상태가got_0이 되는 경우.입력 동전이 10센트 동전이나 5센트 동전이 아니고, 상태
got_nickel이 활성 상태를 유지하고, 캔이 배출되지 않은(출력값soda = 0) 경우.
got_dime — 10센트 동전을 받았습니다.
5센트 동전을 받고(
coin == 1), 캔이 배출(soda = 1)되고, 5센트 동전이 보관되고, 남은 동전이 없어 활성 상태가got_0이 되는 경우.10센트 동전을 받고(
coin == 2), 캔이 배출(soda = 1)되고, 15센트가 보관되고, 5센트 동전(거스름돈)이 남아 있어 활성 상태가got_nickel이 되는 경우.입력 동전이 10센트 동전이나 5센트 동전이 아니고, 상태
got_dime이 활성 상태를 유지하고, 캔이 배출되지 않은(출력값soda = 0) 경우.
밀리 자판기에서 규칙 설계하기
이 밀리 자판기 예제에서는 다음 밀리 설계 규칙을 보여줍니다.
차트는 조건 동작에서 출력값을 계산합니다.
상태 동작 또는 천이 동작이 없습니다.
입력
coin의 값이 출력soda의 값을 결정합니다.
