Бесплатный Вулкан

Процедура создания детерминированного порождающего конечного автомата исходя из недетерминированного известна как алгоритм конструирования подмножества. По существу, каждое состояние в распознающем конечном автомате связано с множеством состояний в недетерминированном распознающем конечном автомате. Такая ситуация обусловлена тем фактом, что в недетерминированном распознающем конечном автомате е-переходы и неоднозначные переходы могут стать причиной достижения различных состояний в результате обработки одной и той же входной строки (как и при моделировании, в ходе которого могут быть активными несколько состояний). Поэтому во время конструирования соответствующее подмножество состояний недетерминированного распознающего конечного автомата хранится в каждом состоянии детерминированного распознающего конечного автомата.

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

Такая же процедура может применяться и для преобразования недетерминированных порождающих конечных автоматов, при условии что их выходные данные являются детерминированными. Если это условие не соблюдается, то рассматриваемый алгоритм не позволяет создать окончательную детерминированную модель. В таком случае лучше всего попытаться устранить указанные проблемы вручную или применить способ недетерминированного моделирования конечного автомата.