The oldest and fastest relies on a result in formal language theory that allows every nondeterministic finite automaton (NFA) to be transformed into a deterministic finite automaton (DFA).
Најстариот и најбрзиот се базира на теоријата на формални јазици која што дозволува секој Недетерминистички Конечен Автомат (НКА) да се трансформира во Детерминистички Конечен Автомат (ДКА).