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