|
Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2011, выпуск 4, страницы 59–69
(Mi ivpnz598)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Математика
Многоаспектная минимизация недетерминированных конечных автоматов (Часть I. Вспомогательные факты и алгоритмы)
Б. Ф. Мельниковa, А. А. Мельниковаb a Тольяттинский государственный университет, Тольятти
b Димитровградский филиал Ульяновского государственного университета, Димитровград
Аннотация:
В первой части настоящей статьи рассматриваются некоторые вспомогательные алгоритмы, необходимые одновременно для двух проблем минимизации недетерминированных конечных автоматов - вершинной и дуговой. Приводится несложный алгоритм минимизации детерминированных автоматов, с помощью которого производится одновременное построение функций разметки состояний. Доказываются вспомогательные утверждения о входных языках состояний базисного автомата, необходимые для алгоритмов эквивалентного преобразования произвольных недетерминированных конечных автоматов.
Ключевые слова:
недетерминированный конечный автомат, базисный автомат, алгоритмы эквивалентного преобразования, вершинная минимизация, дуговая минимизация.
Образец цитирования:
Б. Ф. Мельников, А. А. Мельникова, “Многоаспектная минимизация недетерминированных конечных автоматов (Часть I. Вспомогательные факты и алгоритмы)”, Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2011, № 4, 59–69
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivpnz598 https://www.mathnet.ru/rus/ivpnz/y2011/i4/p59
|
|