Статья

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