МОДЕЛИРОВАНИЕ И ТЕСТИРОВАНИЕ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ С ИСПОЛЬЗОВАНИЕМ ЯЗЫКА MOSCOW ML В СИСТЕМЕ HOL

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

15.06.2021


Издательство

Федеральное государственное бюджетное образовательное учреждение высшего образования «Пензенский государственный технологический университет»


Наименование издания

Современные информационные технологии, № 33(33) 15.06.2021


DOI

10.46548/21vek-2021-1054-0048


Автор(ы)

ДУБИНИН АЛЕКСЕЙ ВИКТОРОВИЧ - Пензенский государственный университет

ПЕЧАТКИН КОНСТАНТИН ВЛАДИМИРОВИЧ - Пензенский государственный университет

ДУБИНИН ВИКТОР НИКОЛАЕВИЧ - Пензенский государственный университет


Аннотация(ии)

Предлагаются способы использования системы HOL, основанной на логике высших порядков, для исследования недетерминированных автоматов классическими методами. Рассматривается метод описания и моделирования недетерминированных автоматов на языке функционального программирования Moscow ML.


Полный текст статьи
01.pdf