2016-06-15 5 views

ответ

4

Да, они эквивалентны (они признают тот же язык). Более формально:

Во-первых, давайте дадим имена ваших состояний:

Original DFA from Thompson's algorithm

Теперь, через powerset construction, давайте удалим эпсилон переходы:

enter image description here

Наконец, мы можем использовать любой алгоритм минимизации DFA, такой как Brzozowski's (переверните стрелки, снова примените конструкцию электропитания, переверните стрелки), чтобы получить полученный DFA.

enter image description hereenter image description hereenter image description here

+0

, какой инструмент вы используете? –

Смежные вопросы