1632
правки
Изменения
м
Рассмотрим Именно для этого удобно использовать гиперсостояние <tex>Q</tex>. ===Торговый автомат===[[File:Автомат шоколадок.png|right]]В качестве примера применения автомата Мили рассмотрим автоматпо продаже шоколадок стоимостью <tex>20</tex> рублей, регулирующий пешеходный переход по запросу пешеходовпринимающий монеты номиналом в <tex>5</tex> и <tex>10</tex> рублей и возвращающий сдачу, если это необходимо. Внешние события Состояний автомата — это события нажатия пешеходами кнопки-запроса на тротуаре всего четыре: <tex>0</tex>, <tex>5</tex>, <tex>10</tex> и исчерпание тайм-аута<tex>15</tex> рублей. Автомат строится как автомат Мура, в котором выход Входных сигналов <tex>Z</tex> два: <tex>Z_5</tex> — регулирование светофора <tex>5</tex> рублей и разрешающий сигнал на переход <tex>Z_{10}</tex> — это потенциальные сигналы, являющиеся функциями состояния<tex>10</tex> рублей.
Выход автомата в каждом состоянии определяется парой Выходных сигналов <tex><W</tex>Светофор транспорта; светофор пешеходатри: <tex>>W_{n}</tex>. Например— ничего не выдавать, в состоянии <tex>S_1W_{0}</tex> управляющий автомат устанавливает <tex><</tex>З; К<tex>></tex>, то есть включёнными зеленый свет транспорту — выдать шоколадку и красный — пешеходам. В состоянии <tex>S_6</tex> установлен <tex><0</tex>Жрублей сдачи, К; К<tex>>W_{5}</tex>, то есть желтый и красный свет транспорту (приготовиться) — выдать шоколадку и красный — пешеходам. В начальном состоянии <tex>S_05</tex> разрешен проезд транспорту, а пешеходам движение запрещенорублей сдачи.
В состояниях <tex>S_4</tex>Например, если у человека есть одна монета номиналом в <tex>S_510</tex> при запрещающем сигнале транспорту зеленый сигнал пешеходам мигает каждые <tex>t_0</tex> секунд рублей и две монеты номиналом в течение <tex>t_25</tex> секунд. Запрос на переход принимается только рублей и монеты забрасываются в состоянии порядке <tex>S_010</tex>, в остальных состояниях он игнорируется. Задержки (тайм-ауты <tex>t_05</tex> — и <tex>t_35</tex>) устанавливаются в момент перехода автомата в данное состояниерублей, по исчерпании тайм-аута автомат то происходит следующее::# Автомат переходит в следующее состояние. В гиперсостоянии <tex>Q10</tex>, объединяющему пару состояний р. и ничего не выдает;:# Автомат переходит в состояние <tex>S_415</tex> р. и ничего не выдает;:# Автомат переходит в состояние <tex>S_50</tex>р., автомат находится ровно <tex>t_2</tex> секунд: внутренние переходы выдает шоколадку и не срывают тайм-аута. Именно для этого удобно использовать гиперсостояние <tex>Q</tex>возвращает сдачу.
rollbackEdits.php mass rollback
* <tex>W=\{w_{1}, \dots, w_{g}, \dots, w_{G}\}</tex> {{---}} множество выходных сигналов.
* <tex>\delta</tex> {{---}} функция переходов АА, которая некоторым парам состояние {{---}} входной сигнал (<tex>(a_{m}</tex>, <tex>z_{f})</tex>) ставит в соответствие состояние АА <tex>a_{s}</tex>, т.е. <tex>a_{s} = δ(a_{m}, z_{f})</tex>, <tex>a_{s}\in A</tex>.
* <tex>\lambda</tex> {{---}} функция выходов АА, которая некоторым парам состояние {{---}} входной сигнал (<tex>(a_{m}</tex>, <tex>z_{f})</tex>) ставит в соответствие выходной сигнал АА <tex>w_{g}</tex>, т.е. <tex>w_{g}=λ(a_{m},z_{f})</tex>, <tex>w_{g}\in W</tex>.
* <tex>a_{1}</tex> {{---}} начальное состояние. АА работает в дискретные моменты времени, и в момент времени <tex>t=0</tex> автомат всегда находится в состоянии <tex>a_{1}</tex>.
|}
В автоматах мура Мура выходные воздействия записаны на состояниях, а в автомате Мили — на переходах.
== Применение автоматов Мура и Мили ==
=== Автомат, регулирующий пешеходный переход===
[[File:Пешеходный переход.png|right]]
Рассмотрим автомат, регулирующий пешеходный переход по запросу пешеходов. Внешние события автомата — это события нажатия пешеходами кнопки-запроса на тротуаре и исчерпание тайм-аута. Автомат строится как автомат Мура, в котором выход — регулирование светофора и разрешающий сигнал на переход — это потенциальные сигналы, являющиеся функциями состояния.
Выход автомата в каждом состоянии определяется парой <tex>\langle</tex>Светофор транспорта; светофор пешехода<tex>\rangle</tex>. Например, в состоянии <tex>S_1</tex> управляющий автомат устанавливает <tex>\langle</tex>З; К<tex>\rangle</tex>, то есть включёнными зеленый свет транспорту и красный — пешеходам. В состоянии <tex>S_6</tex> установлен <tex>\langle</tex>Ж, К; К<tex>\rangle</tex>, то есть желтый и красный свет транспорту (приготовиться) и красный — пешеходам. В начальном состоянии <tex>S_0</tex> разрешен проезд транспорту, а пешеходам движение запрещено.
В состояниях <tex>S_4</tex>, <tex>S_5</tex> при запрещающем сигнале транспорту зеленый сигнал пешеходам мигает каждые <tex>t_0</tex> секунд в течение <tex>t_2</tex> секунд. Запрос на переход принимается только в состоянии <tex>S_0</tex>, в остальных состояниях он игнорируется. Задержки (тайм-ауты <tex>t_0</tex> — <tex>t_3</tex>) устанавливаются в момент перехода автомата в данное состояние, по исчерпании тайм-аута автомат переходит в следующее состояние. В гиперсостоянии <tex>Q</tex>, объединяющему пару состояний <tex>S_4</tex> и <tex>S_5</tex>, автомат находится ровно <tex>t_2</tex> секунд: внутренние переходы не срывают тайм-аута.
== Способы задания автоматов ==
|-
| style="background: white; padding: 5px 60px 5px 0" | <tex>a_{1}: A_{1} = \left \{ \begin {array} {crl} (a_{1}, w_{1}) = b_{1} \\ (a_{1}, w_{2}) = b_{2} \\ \end {array} \right.</tex>
| style="background: white; padding: 5px 60px 5px 0" | <tex>a_{2}: A_{12} = \left \{ \begin {array} {crl} (a_{2}, w_{1}) = b_{3} \\ (a_{2}, w_{2}) = b_{4} \\ \end {array} \right.</tex>
| style="background: white; padding: 5px 0" | <tex>a_{3}: A_{3} = \{ (a_{3}, w_{1}) \} = b_{5}</tex>
|}
