Теория автоматов

Теперь рассмотрим начальные участки длиной два символа (первые два символа входных и выходных слов). С пары символов a1a1 начинаются третье и четвертое входные слова, первые пары символов соответствующих им выходных слов одинаковы (символы b1), однозначность отображения соблюдается. Для остальных входных слов начальные участки длиной два (и более) символов различны.
Теперь реакция автомата на одинаковые первые буквы (пары букв) входных наборов одинакова: a1 , a2 , a1a1 b1.

Построение формализованного описания работы автомата
Граф переходов автомата модели Мура
По таблице 3 построим граф переходов автомата Мура.
Особенностью автомата Мура является то, что выходной сигнал в каждый момент времени определяется только состоянием, и не зависит от входного сигнала. Выходные сигналы записываются возле кружков, отведенных для состояний. Еще одна особенность — количество начальных состояний, определяемое по числу различных букв, которыми заканчиваются выходные наборы, перечисленные в автоматном алфавитном отображении. Так последняя буква каждого входного набора должна переводить автомат в начальное состояние, но при этом должны вырабатываться различные выходные сигналы. В нашем случае все выходные последовательности заканчиваются выходным сигналом b2, поэтому на графе переходов будет одно начальное состояния C0. Порядок нумерации состояний, отличных от начального, для абстрактного автомата безразличен. При построении графа необходимо использовать минимальное число внутренних состояний автомата (рис. 1).