if Cond in Fin
Цепочка принята
else
Цепочка не принята
Возможно написать программу - распознаватель автоматного языка и не используя прямое моделирование КА с помощью таблицы переходов, а используя граф переходов автомата как схему алгоритма. При этом следует ввести состояние ошибки и новое конечное состояние (состояние в которое переходит автомат из конечного состояния при подачи символа конца строки).
