173
правки
Изменения
→Абстрактные автоматы
== Абстрактные автоматы ==
{{Определение
|definition=
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}\in W</tex>.
6. <tex>a_{1}</tex> - начальное состояние . ААработает в дискретные моменты времени, и в момент времени <tex>t=0<.tex> автомат всегда находится в состоянии <tex>а_{1}</tex>
}}