Диаграммы конечных автоматов
Я хочу преобразовать следующую NFSA (см. Изображение ниже) в DFSA.
Сначала позвольте мне объяснить, как я обычно это делаю:
Я присоединяюсь к состояниям, чтобы создать новое начальное состояние (старое начальное состояние, которое здесь равно 1, и состояния, которые я могу достичь, используя ε*), а затем затем из этого начального состояния я следую, какие состояния я могу достичь после a, затем b, c и скоро. В конце все новые состояния, в которых есть мои старые принимаемые состояния, будут моими принимающими состояниями.
Так что теперь в моем нижеследующем NFSA это сбивает с толку, так как я не уверен, могу ли я использовать '015' в качестве моего начального состояния для DFSA, так как 5 также является состоянием принятия.
Спасибо,
Юсеф
