Методы построения конечных автоматов на основе ...

190состояния, в которое переходит автомат, и числом выходных воздействий,совершаемых на переходе.Выбор представления графа переходов автомата с помощью списковребер (в отличие от работы [2], в которой применялись полные таблицыпереходов) обоснован тем, что, как правило, в автоматах управлениясистемами со сложным поведением не в каждом состоянии определенареакция на каждое событие (граф переходов конечного автоматаразрежен).Параметром особи является максимальное число действий,совершаемых на переходах.Рассматриваемый управляющий автомат является автоматом Мили),так как выходные воздействия вырабатываются только на переходах.Заметим, что автоматы Мура и Мили являются частным случаем автоматасмешанного типа. При значении максимального числа действий,совершаемых на переходах автомата, равным нулю получим автоматМура. При значении числа действий, совершаемых при входе в состояния,равным нулю получим автомат Мили.В особи кодируется только «скелет» управляющего конечногоавтомата, а конкретные выходные воздействия, вырабатываемые напереходах и в состояниях, определяются с помощью алгоритмарасстановки выходных воздействий (рис. 1).