Ця умова означає, що місце β q-слід за місцем α щоразу, коли α пов'язане з місцем β словом q. Також домовимося говорити, що місце β підпорядковане місцем α, якщо від місця α до місцем β можна перейти за допомогою одних лише безпосередніх переходів, тобто якщо місце α пов'язане з місцем β порожнім словом ε. Правила побудови основного алгоритму синтезу скінчених автоматів