Аннотация:
В данной статье рассматриваются алгоритмы, позволяющие объединять несколько состояний недетерминированного конечного автомата в одно. Кроме алгоритмов объединения состояний, в настоящей статье расcмотрен еще один алгоритм эквивалентного преобразования недетерминированного конечного автомата, а именно, алгоритм добавления циклов. Вопросы, рассмотренные авторами, ориентированы на создание эффективных компьютерных программ.
Ключевые слова:недетерминированные конечные автоматы, эквивалентное преобразование, расширенный автомат, объединение состояний.