Автоматы

[Nogin Anton]

Пусть задан автомат Мили:

Выходной сигнал: $y(t)=\lambda (a(t),x(t)$, где $a$ - состояние в момент $t$, $x$ - входной символ, $\lambda$ - функция выхода.
Функция переходов: $a(t+1)=\delta (a(t), x(t))$

На вход задаётся двоичный код 01, подскажите, как получить выходное слово.
Заранее большое спасибо!

[Nogin Anton]

Почитал про автомат Мили. Проверьте пожалуйста задачу.

$X=\{a,b\}$ - входной алфавит; $Y=\{m,n,p\}$ - выходной алфавит; $Q=\{1,2,3\}$ - множество состояний автомата.

Задание: Задать автомат Мили таблично. Найти выходное слово, при условии, что на вход дана последовательность - aba

Т.к. функции переходов и выходов не заданы, то соответствующие клетки я заполнил произвольно.



Соответственно, при подаче на вход последовательности $aba$, на выходе получим слово - $nmp$

[Andrey173]

Сначала тему запостили, а потом почитали:D

[Nogin Anton]

я просто путался

Я всё верно сделал?

[Nogin Anton]

Как теперь преобразовать его в автомат Мура?

[Nogin Anton]

Помогите найти ошибку. Насколько я понимаю, на выходе автомата Мили должно быть тоже самое слово, что на выходе у эквивалентного автомата Мура. У меня пока есть расхождения(

Автомат Мили задан в виде графа:



Построил таблицу порождаемых пари новых состояний автомата Мура:

\begin{array}{|l|l|} \hline \\a_0 & \{(a_0;y_1),(a_0;y_2)\}=\{b_1;b_2\} \\ \hline \\a_1 & \{(a_1;y_1)\}=\{b_3\} \\ \hline \\ a_2&\{(a_2;y_1), (a_2;y_2)\}= \{b_4;b_5\} \\ \hline \end{array}

Теперь автомат Мура в табличной форме:

\begin{array}{|l|g|l|l|l|l|l|} \hline \\y&y_1&y_2&y_1&y_1&y_2 \\ \hline \\ &b_1&b_2&b_3&b_4&b_5 \\ \hline \\ x_1&b_4&b_4&b_1&b_2&b_2 \\ \hline \\ x_2&b_1&b_1&b_5&b_3&b_3 \\ \hline \end{array}

Автоматы работают не одинаково.. Подскажите, где я ошибся.