Регулярное выражение для ∈-NFA

Предварительные требования - Введение в конечные автоматы, проектирование конечных автоматов из регулярных выражений (набор 1)

∈-NFA похож на NFA, но имеет небольшие отличия по ходу эпсилона. Этот автомат заменяет функцию перехода на ту, которая допускает пустую строку ∈ в качестве возможного входа. Переходы без использования входного символа называются ∈-переходами.

На диаграммах состояний они обычно обозначаются греческой буквой ∈. ∈-переходы предоставляют удобный способ моделирования систем, текущие состояния которых точно не известны: т. Е. Если мы моделируем систему и неясно, должно ли текущее состояние (после обработки некоторой входной строки) быть q или q ', тогда мы можем добавить ∈-переход между этими двумя состояниями, таким образом переводя автомат в оба состояния одновременно.

Распространенное регулярное выражение, используемое в make ∈-NFA:

Пример: создать ∈-NFA для регулярного выражения: (a / b) * a

См. - Преобразование NFA в DFA, минимизация DFA.