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

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

мітки переходів автомату є однобуквенними

можуть бути декілька початкових станів