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

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

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

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