РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016618415

Дата регистрации: 28.07.2016

Номер и дата поступления заявки: 2016615706 02.06.2016

Дата публикации: 20.08.2016

Контактные реквизиты:
(861)275-89-88, patent@kubstu.ru, 350072, г. Краснодар, ул. Московская, 2, ФГБОУ ВО «КубГТУ», отдел интеллектуальной и промышленной собственности
	
Авторы:
Кушнир Надежда Владимировна,
Кушнир Александр Валерьевич,
Герасименко Владислав Александрович,
Гришин Андрей Юрьевич

Правообладатель:
Федеральное государственное бюджетное образовательное учреждение высшего образования «Кубанский государственный технологический университет» (ФГБОУ ВО «КубГТУ»)

Название программы для ЭВМ:
«Нахождение недостижимых состояний конечных автоматов»

Реферат:
Программа предназначена для создания модели конечного автомата и выявления в нем недостижимых состояний. Предусматривает использование любых параметров для конечных автоматов и может выполнять поиск недостижимых состояний при любом их количестве. Программа может быть использована в учебных целях для изучения курсов дисциплин «Теория автоматов и формальных языков», «Теория языков программирования и методов трансляции», в научно-исследовательских целях для выявления недостижимых состояний конечного автомата.

Тип реализующей ЭВМ: IBM PC-совмест. ПК

Язык программирования: С#

Вид и версия операционной системы: Windows ХР/Vista/7/8/8.1/10

Объем программы для ЭВМ: 2,85 Мб