Автоматы с несколькими входами и выходами

= (x1(t), …, xn(t)) = (y1(t), …, yn(t)) = (y1(t), …, yn(t))

F_i: Aⁿ ´ Q^k ® B

G_j: Aⁿ ´ Q^k ® Q

i = 1, …, m; j = 1, …, k

Произвольная синхронная логическая сеть

Реализация сложения с помощью конечного автомата

Представим числа в двоичном виде:

+	x1(1)	x1(2)	…	x1(n)
x2(1)	x2(2)	…	x2(n)
	y(1)	y (2)	…	y(n)	y(n+1)