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

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