Путаница преобразования NFA в DFA? - PullRequest
0 голосов
/ 02 июня 2019

У меня есть этот NFA в книге:

Example NFA

И их решенный результат DFA был такой:

Resultant NFA

Но в соответствии с моим решением (путем нахождения e-замыкания каждого состояния) это выглядит примерно так:

    |  a   |  b  | c
----+----- +-----+---
ABD | CEBD |  Φ  | C
BD  | EBD  |  Φ  | C
C   |  Φ   | EBD | Φ
D   | EBD  |  Φ  | Φ
EBD | EBD  |  Φ  | C
CEBD| EBD  | EBD | C

Чего мне не хватает?

1 Ответ

2 голосов
/ 02 июня 2019

Ваше решение идентично диаграмме DFA с двумя отличиями:

  • Ваша таблица содержит недостижимые состояния (BD, D). Те взяты из диаграммы.
  • На диаграмме опечатка. Две стрелки между {C} и {BDE} помечены. (Стрелка от {C} до {BDE} должна быть помечена b, а стрелка от {BDE} до {C} должна быть помечена c.)
...