Программа для формирования эталонных реакций абстрактных конечных автоматов | Научно-инновационный портал СФУ

Программа для формирования эталонных реакций абстрактных конечных автоматов

Тип публикации: патент

Год издания: 2015

Аннотация: Программа предназначена для формирования и кодировки эталонных последовательностей входных и выходных сигналов для программы проверки эквивалентности абстрактных конечных автоматов, которая используется в учебном процессе в дисциплине "Прикладная теория цифровых автоматов" для подготовки бакалавров по направлению 230000 - Информатика и вычислительная техника. Файлы-эталоны реакций автоматов, создаваемые в данной программе, позволяют автоматизировать проверку эквивалентности абстрактных конечных автоматов, преобразуемых в ходе лабораторной работы.

Ссылки на полный текст

Авторы

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.