№2014615270 Программа вершинной минимизации недетерминированного конечного автомата
РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
(19)RU(11) 2014615270
(12) ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ
Номер регистрации (свидетельства): 2014615270
Дата регистрации: 2014-05-22
Номер и дата поступления заявки: 2014610130 2014-01-09
Дата публикации: 2014-06-20
Авторы:
- Мельников Борис Феликсович (RU),
- Кукеев Максим Владимирович (RU),
- Мельникова Елена Анатольевна (RU),
- Пивнева Светлана Валентиновна (RU)
Правообладатель:
- Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Тольяттинский государственный университет» (ТГУ) (RU)
- Мельников Борис Феликсович (RU)
- Кукеев Максим Владимирович (RU)
- Мельникова Елена Анатольевна (RU)
- Пивнева Светлана Валентиновна (RU)
Название программы для ЭВМ: Программа вершинной минимизации недетерминированного конечного автомата
Реферат:
Программа предназначена для выполнения вершинной минимизации недетерминированного конечного автомата. Программа на вход получает данные, представляющие недетерминированный конечный автомат, либо сама генерирует такой автомат (при установке соответствующего параметра) и на выходе вычисляет конечный автомат, минимизированный по количеству состояний. Позволяет вычислять минимальный автомат (по данному) с некоторой вероятностью за меньшее время по отношению к другим алгоритмам, решающих ту же самую задачу. Во время вычисления минимального автомата используются так называемые базисный и покрывающий автоматы, а также применяются эвристики, основанные на свойствах и определениях этих автоматов и связанных понятий. Полученные результаты позволяют решать задачи с большей размерностью входных данных.
Тип реализующей ЭВМ: IBM РС-совмест. ПК с графической системой NVidia, поддерживающей архитектуру CUDA
Вид и версия операционной системы: Windows Vista/7/8
Язык программирования: С (NVidia CUDA API)
Объем программы для ЭВМ: 17,5 Кб