173
правки
Изменения
→Абстрактные автоматы
{{Определение
|definition=
'''Абстрактный автомат''' (АА) является математической моделью дискретного устройства и описывается шестикомпонентным набором <tex>S=(A, Z, W, δ\delta, λ\lambda, a_{1})</tex>, где
1. <tex>A=\{a_{1}, ..., a_{m}, ..., a_{M}\}</tex> - множество состояний или алфавит состояний АА.
3. <tex>W=\{w_{1}, ..., w_{g}, ..., w_{G}\}</tex> - множество выходных сигналов или выходной алфавит АА.
4. δ <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}∈A\in A</tex>.
5. λ <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}∈W\in W</tex>.
6. <tex>а_a_{1}</tex> - начальное состояние АА.
}}
