Конечный автомат  представлен диаграммой переходов

На рисунке указаны все состояния автомата, входные сигналы , , и все выходные сигналы , . Отмечено и начальное состояние автомата.
Тогда функция выходов этого автомата имеет вид …