Автомат задан набором ({a,b},{q_1,q_2,q_3,q_4,q_5 },Q_s,Q_f ), где {a,b} – алфавит, Q_s – множество начальных состояний (входов), Q_s – множество конечных состояний (выходов), и списком дуг с метками,

Автомат задан набором ({a, b}, {q₁, q₂ ,q₃, q₄, q₅} Q_s, Q_f), где {a, b} – алфавит,  Q_s – множество начальных состояний (входов),  Q_f  – множество конечных состояний (выходов), и списком дуг с метками, определяющими допустимые переходы. Запись (i, j, a, b)  означает, что дуга (i, j), идущая из состояния q_i в состояние q_j , имеет две метки –  a и b.

Вход Q_s={1} , выход Q_f={4,5} , дуги 

1. Построить граф автомата и найти язык L, допустимый автоматом. 

2. Детерминизировать автомат. 

3. Построить графы автоматов, представляющих языки 

4. Из построенных  графов удалить -переходы.