ВУЗ:
Составители:
используется в описываемой парадигме, было введено А. Тьюрингом и с
успехом применяется во многих развитых областях науки, и в частности, в
теории управления.
Основное свойство состояния системы в момент времени t0 заключается
в «отделении» будущего (t > t0) от прошлого (t < t0) в том смысле, что
текущее состояние несет в себе всю информацию о прошлом системы,
необходимую для определения ее реакции на любое входное воздействие,
формируемое в момент времени t0.
Реакция объекта со сложным поведением на входное воздействие может
зависеть, в том числе, и от предыстории. Однако, при использовании понятия
«состояние» знание предыстории более не требуется. Состояние можно
рассматривать как особую характеристику, которая в неявной форме
объединяет все входные воздействия прошлого, влияющие на реакцию
сущности в настоящий момент времени. Реакция зависит теперь только от
входного воздействия и текущего состояния.
Понятие входное воздействие также является одним из базовых для
автоматного программирования. Чаще всего, входное воздействие – это
вектор. Его компоненты подразделяются на события и входные переменные в
зависимости от смысла и механизма формирования. Совокупность конечного
множества состояний и конечного множества входных воздействий образует
(конечный) автомат без выходов. Такой автомат реагирует на входные
воздействия, определенным образом изменяя текущее состояние. Правила, по
которым происходит смена состояний, называют функцией переходов
автомата.
То, что в автоматном программировании собственно и называется
(конечным) автоматом (рис. 39) получается, если соединить понятие
автомата без выходов с понятием «выходное воздействие». Такой автомат
реагирует на входное воздействие не только сменой состояния, но и
формированием определенных значений на выходах. Правила формирования
выходных воздействий называют функцией выходов автомата.
Рис.39 Конечный автомат
Таким образом, конечный автомат – это устройство управление, которое
взаимодействует и с внешней средой, и с объектом управления. От внешней
Страницы
- « первая
- ‹ предыдущая
- …
- 92
- 93
- 94
- 95
- 96
- …
- следующая ›
- последняя »
