автоматы конечного недетерминированного алгоритма

Средний балл статьи: - Всего комментариев: 0Количество просмотров: 70

Ключевые слова: , , , , ,

Авторы: - Тольяттинский государственный университет кандидат физико-математических наук , - Ульяновский государственный педагогический университет им. И.Н. Ульянова, г. Ульяновск , - Ульяновский государственный педагогический университет им. И.Н. Ульянова, г. Ульяновск

program features as well as some experimental results is provided.

that it explains the minimization process in details and collects statistics of all minimization steps. The description of the

considered program can be used for research and educational purposes. One of the distinguishing features of this software is

provide algorithms for nondeterministic finite automata minimization due to their computational complexity therefore the

MPI parallel programming techniques. Usually software products that deal with finite automata and related structures do not

classical Kameda Weiner algorithm and some heuristic algorithms based on it, which are implemented using OpenMP and

experimental open source software tool provides several exact and approximate state minimization algorithms, such as

экспериментальные результаты.Abstract:In the present paper we consider the minimization of nondeterminisitc finite automata using ReFaM. This

целях. Одной из ее отличительных особенностей является детальное описание процесса минимизации и сбор статистики на каждом его шаге. В данной работе приводятся описание основных возможностей программы и некоторые

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

программы ReFaM. В данном экспериментальном программном продукте с открытым исходным кодом с использованием технологий параллельного программирования OpenMP и MPI реализованы несколько точных и приближен-

Исследование статистических свойств алгоритмов минимизации недетерминированных конечных автоматов с использованием программы refamStudying the statistical properties of finite automata minimization algorithms using refamСтатья опубликована в выпуске журнала 4 за 2012 год.[ на стр. 137-141 ][ 14.12.2012 ]Аннотация:В статье рассматриваются вопросы минимизации недетерминированных конечных автоматов с использованием

Добавить в закладки

Программные продукты и системы

Международный журнал

Исследование статистических свойств алгоритмов минимизации недетерминированных конечных автоматов с использованием программы refam