Автомата - последовательный сумматор (рис. 5.2). На вход сумматора поступают одноименные разряды слагаемых ai и bi, на выходе формируется разряд суммы Si. Последовательный сумматор является автоматом с памятью – он должен помнить, был или не был перенос из 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 |








