Конечный детерминированный автомат по регулярному выражению

[@Gimli_Dwarf]

Основная сложность построения на машине вычитанием это сравнение промежуточных выражений на уникальность. И определение наличия пустой строки. И опытным путем еще одно правило, если определить понятие "любой символ", то если из него отрезать конкретный символ, то получается пустая строка (лямбда), а если "любой символ" отрезать от конкретного символа образуется пустое множество.