Автоматы Мура и Мили — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Абстрактные автоматы)
(Абстрактные автоматы)
Строка 14: Строка 14:
 
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>.
 
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>
+
6. <tex>a_{1}</tex> - начальное состояние. АА работает в дискретные моменты времени, и в момент времени <tex>t=0</tex> автомат всегда находится в состоянии <tex>а_{1}</tex>
 
}}
 
}}

Версия 20:47, 7 января 2015

Абстрактные автоматы

Определение:
Абстрактный автомат (АА) является математической моделью дискретного устройства и описывается шестикомпонентным набором [math]S=(A, Z, W, \delta, \lambda, a_{1})[/math], где

1. [math]A=\{a_{1}, ..., a_{m}, ..., a_{M}\}[/math] - множество состояний или алфавит состояний АА.

2. [math]Z=\{z_{1}, ..., z_{f}, ..., z_{F}\}[/math] - множество входных сигналов или входной алфавит АА.

3. [math]W=\{w_{1}, ..., w_{g}, ..., w_{G}\}[/math] - множество выходных сигналов или выходной алфавит АА.

4. [math]\delta[/math] - функция переходов АА, которая некоторым парам \<состояние - входной сигнал\> ([math]a_{m}[/math], [math]z_{f}[/math]) ставит в соответствие состояние АА [math]a_{s}[/math], т.е. [math]a_{s} = δ(a_{m}, z_{f})[/math], [math]a_{s}\in A[/math].

5. [math]\lambda[/math] - функция выходов АА, которая некоторым парам \<состояние – входной сигнал\> ([math]a_{m}[/math], [math]z_{f}[/math]) ставит в соответствие выходной сигнал АА [math]w_{g}[/math], т.е. [math]w_{g}=λ(a_{m},z_{f})[/math], [math]w_{g}\in W[/math].

6. [math]a_{1}[/math] - начальное состояние. АА работает в дискретные моменты времени, и в момент времени [math]t=0[/math] автомат всегда находится в состоянии [math]а_{1}[/math]