Моделируйте торговый автомат с помощью семантики Мили
В этом примере показано, как использовать семантику Мили для моделирования торгового автомата.
Логика торгового автомата Мили
В этом примере торговый автомат требует 15 центов, чтобы освободить банку соды. Покупатель может вставить никель или копейку, по одному, для приобретения газировки. График ведет себя как машина Мили, потому что его выход soda зависит как от входной монеты, так и от текущего состояния:
Когда начальное состояние got_0 активно. Монета не получена, монеты не оставлены.
Если получен никель (
coin == 1), выходsodaостается 0, но состояниеgot_nickelстановится активным.Если получен дайм (
coin == 2), выходsodaостается 0, но состояниеgot_dimeстановится активным.Если входная монета не является дном или никелем, состояние
got_0остается активным, и никакая сода не освобождается (выводsoda = 0).
В активном состоянии got_nickel. Был получен никель.
Если получен другой никель (
coin == 1), состояниеgot_dimeстановится активным, но никакое не может быть освобождено (sodaостается в 0).Если получен дайм (
coin == 2), банка освобождается (soda = 1), монеты покрываются, и активное состояние становитсяgot_0потому что монет не осталось.Если входная монета не является дном или никелем, состояние
got_nickelостается активным, и никакое не может быть освобождено (выводsoda = 0).
В активном состоянии got_dime. Получена копейка.
Если получен никель (
coin == 1), банка освобождается (soda = 1), монеты покрываются, и активное состояние становитсяgot_0потому что монет не осталось.Если получен дайм (
coin == 2), банка освобождается (soda = 1), 15 центов покрываются, и активное состояние становитсяgot_nickelпотому что никель (изменение) оставлен.Если входная монета не является дном или никелем, состояние
got_dimeостается активным, и никакое не может быть освобождено (выводsoda = 0).
Правила проекта в торговом автомате Мили
Этот пример торгового автомата Мили иллюстрирует эти правила проекта Мили:
График вычисляет выходы в действиях условия.
Нет состояний активности или переходных действий.
График определяет входы графика (
coin) и выходы (soda).Значение входа
coinопределяет выход: освобождена ли сода.