[[Файл:eps-dfa.png|600px]]
Избавимся от Теперь в одно состояние перемещаем все ситуации, в которые идут <tex>\varepsilon</tex>-переходов, то есть помещаем в одно состояние несколько ситуаций, и получим переходы. Получаем [[Детерминированные конечные автоматы|ДКА]]:
[[Файл:LRk_dfa.png|600px]]
