не для кожного символу вхідного алфавіту з кожного стану виходить одна дуга

можуть бути дуги, помічені пустими словами ε

мітки переходів автомату складаються з декількох букв

з кожного стану виходять по декілька дуг для кожної букви вхідного алфавіту