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

114G(wasEvent(e 4 ) wasAction(z 3 )) Выходное воздействие z 3генерируется тогда и только тогда,когда на вход автомату поступаетсобытие e 4 . В терминах системыуправления дверьми лифтаутверждение можно записатьследующим образом: звонок ваварийную службу будетпроизведен тогда и только тогда,когда лифт сломается.G(wasEvent(e 3 ) => wasAction(z 1 )) Если на вход автомату поступилособытие e 3 , то будет выработановыходное воздействие z 1 . Втерминах системы управлениядверьми лифта утверждение можнозаписать следующим образом: еслипрепятствие мешает закрыть двери,то они начнут открываться.G(wasEvent(e 2 ) => X[wasEvent(e 11 ) || После события e 2 следующимwasEvent(e 12 )])обработанным событием будет e 11или e 12 . В терминах системыуправления дверьми лифтаутверждение можно записатьследующим образом: если дверьуспешно открылась или закрылась,то следующее обработанноесобытие может быть либо «Нажатакнопка «Открыть двери» или«Нажата кнопка «Закрыть двери».