173
правки
Изменения
→Абстрактные автоматы
== Абстрактные автоматы ==
{{Определение
|definition=
Абстрактный автомат (АА) является математической моделью дискретного устройства и описывается шестикомпонентным набором <tex>S=(A, Z, W, δ, λ, a_{1})</tex>, где
1. <tex>A=\{a_{1}, …..., a_{m}, …..., a_{M}\}</tex> - множество состояний или алфавит состояний АА.
2. <tex>Z=\{z_{1}, …..., z_{f}, …..., z_{F}\}</tex> - множество входных сигналов или входной алфавит АА.
3. <tex>W=\{w_{1}, …..., w_{g}, …..., w_{G}\}</tex> - множество выходных сигналов или выходной алфавит АА.
4. δ - функция переходов АА, которая некоторым парам \<состояние - входной сигнал\> (<tex>a_{m}</tex>, <tex>z_{f}</tex>) ставит в соответствие состояние АА <tex>a_{s}</tex>, т.е. <tex>a_{s} = δ(a_{m}, z_{f})</tex>, <tex>a_{s}∈A</tex>.
