Пример 1. Автомата - последовательный сумматор (рис

Автомата - последовательный сумматор (рис. 5.2). На вход сумматора поступают одноименные разряды слагаемых a_i и b_i, на выходе формируется разряд суммы S_i. Последовательный сумматор является автоматом с памятью – он должен помнить, был или не был перенос из i-1 разряда.

Рис. 5.2. Последовательный сумматор

Входной алфавит автомата X = {00, 01, 10, 11}, выходной алфавит автомата Y = {0,1}, алфавит состояний автомата S = {0,1}.

Состоянию “0” соответствует отсутствие переноса, состоянию “1” - наличие переноса.

Граф переходов автомата имеет следующий вид (рис.5.3).

Рис. 5.3. Граф переходов последовательного сумматора

Таблица 1. Задание последовательного сумматора

X S
	0/0	0/1	0/1	1/0
	0/1	1/0	1/0	1/1

Дата добавления: 2014-01-05