k-й знак суммы двух двоичных чисел равен сумме по модулю 2 k-х знаков слагаемых:
Выходное значение автомата Z(t) однозначно определяется входным значением X(t):
Граф переходов автомата содержит петли:
Если на вход автомата с внутренними состояниями q1, q2, q3 подается последовательность 1 0 0 1 1 10 1 1 1 0 1 1 1 0 1 1 1 . . ., то период выходной последовательности превосходит 12:
Канонические уравнения автомата с 10 входными, 3 выходными символами и 7 внутренними состояниями, переведенные в двоичную форму, содержат 5 уравнений от 7 булевых переменных:
Логическая сеть отображает входную последовательность X(t) в выходную последовательность Z(t):
Логическую сеть как преобразователь входной двоичной последовательности в выходную можно считать конечным автоматом:
Период последовательности 1 0 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 . . . равен 3:
Полная длина периода последовательности 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 . . . равна 7:
При возведении в квадрат n-значного двоичного числа на вход автомата подается последовательность, период которой равен (n + 1):
При представлении автомата логической сетью число задержек в сети равно числу состояний автомата:
Существует конечный автомат для последовательного умножения 30-значных двоичных чисел:
Функция переходов Ф автомата - функция двух переменных:
Число выходных символов конечного автомата меньше или равно числу его внутренних состояний:
Число дуг графа переходов автомата равно числу входных символов:
Число строк в таблице переходов автомата равно числу его состояний: