logo
Лекции по микропроцессорам Щеглов

Пример 3.1.

На рис. 3.6. и 3.7. приведены графы эквивалентных автоматов Мура S1 и Мили S2, определённых на алфавитах x={x1,x2,x3,x4} и y={y1,y2,y3}. Эти автоматы на любую входную последовательность, оканчивающуюся на x1x2(… x1x2), формируют выходной сигнал y2 (… y2), а на x1x2x3 (… x1x2x3) сигнал y3 (… y3). Говорят, что автоматы распознают последовательности x1x2 или x1x2x3. Назовём их правильными. Если входные символы не образуют правильной последовательности или пришли не все символы правильной последовательности формируется выходной сигнал y1.