173
правки
Изменения
Нет описания правки
'''Абстрактный автомат''' (англ. ''Abstract Machine'') является математической моделью дискретного устройства и описывается шестикомпонентным набором <tex>S=(A, Z, W, \delta, \lambda, a_{1})</tex>, где
* <tex>A=\{a_{1}, ..., a_{m}, ..., a_{M}\}</tex> - – множество состояний.
* <tex>Z=\{z_{1}, ..., z_{f}, ..., z_{F}\}</tex> - – множество входных сигналов.
* <tex>W=\{w_{1}, ..., w_{g}, ..., w_{G}\}</tex> - – множество выходных сигналов.
* <tex>\delta</tex> - – функция переходов АА, которая некоторым парам состояние – входной сигнал (<tex>a_{m}</tex>, <tex>z_{f}</tex>) ставит в соответствие состояние АА <tex>a_{s}</tex>, т.е. <tex>a_{s} = δ(a_{m}, z_{f})</tex>, <tex>a_{s}\in A</tex>.
* <tex>\lambda</tex> - – функция выходов АА, которая некоторым парам состояние – входной сигнал (<tex>a_{m}</tex>, <tex>z_{f}</tex>) ставит в соответствие выходной сигнал АА <tex>w_{g}</tex>, т.е. <tex>w_{g}=λ(a_{m},z_{f})</tex>, <tex>w_{g}\in W</tex>.
* <tex>a_{1}</tex> - – начальное состояние. АА работает в дискретные моменты времени, и в момент времени <tex>t=0</tex> автомат всегда находится в состоянии <tex>a_{1}</tex>.
}}
