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

22состояния системы в любой момент времени состоит в том, что оно несет всебе всю информацию о прошлом системы, необходимую для определенияее реакции на любое входное воздействие, формируемое в текущий моментвремени. Состояние можно рассматривать как особую характеристику,которая в неявной форме объединяет все входные воздействия прошлого,влияющие на реакцию сущности в настоящий момент времени. Реакциясистемы зависит только от входного воздействия и текущего состояния.Состояния системы, как отмечалось выше, могут быть разделены науправляющие и вычислительные. Если говорить неформально, то основныеотличия между ними можно сформулировать следующим образом: число управляющих состояний не очень велико, а числовычислительных состояний либо очень велико, либобесконечно; управляющие состояния отличаются друг от другакачественно, а управляющие – количественно; управляющие состояния определяют совершаемые выходныевоздействия, а вычислительные – их результаты.Понятие «входное воздействие» также является одним из базовыхдля автоматного программирования. Чаще всего, входное воздействиесодержит событие и значения входных переменных. Совокупностьконечного множества состояний и конечного множества входныхвоздействий образует автомат без выходов. Такой автомат реагирует навходные воздействия, определенным образом изменяя текущее состояние.Правила, по которым происходит смена состояний, задаются функциейпереходов автомата.То, что в автоматном программировании собственно и называетсяавтоматом (рис. 2), получается, если соединить понятие автомата безвыходов с понятием «выходное воздействие». Такой автомат реагирует навходное воздействие не только сменой состояния, но и формированием