Чтобы определить выход заданного конечного автомата на заданной последовательности входов, необходимо проследить состояния автомата после каждого входа и определить соответствующий выход для каждого состояния.

Пример:
Пусть у нас есть конечный автомат с тремя состояниями A, B, C и двумя возможными входами 0 и 1. Допустим, что автомат при входе 0 из состояния A переходит в состояние B и выдает выход 1, при входе 1 из состояния A остается в состоянии A и выдает выход 0, из состояния B - при входе 0 остается в состоянии B и выдает выход 1, а при входе 1 переходит в состояние C и выдает выход 0, из состояния C - при входе 0 переходит в состояние A и выдает выход 1, при входе 1 остается в состоянии C и выдает выход 0.

Если на вход автомату подается последовательность 1010, то после каждого входа состояние автомата и выход будут следующими:

При входе 1 из состояния A автомат перейдет в состояние A и выдаст выход 0.При входе 0 из состояния A автомат перейдет в состояние B и выдаст выход 1.При входе 1 из состояния B автомат перейдет в состояние C и выдаст выход 0.При входе 0 из состояния C автомат перейдет в состояние A и выдаст выход 1.

Таким образом, последовательность 1010 на заданном конечном автомате будет иметь выход 0101.