МОДЕЛИРОВАНИЕ И ТЕСТИРОВАНИЕ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ С ИСПОЛЬЗОВАНИЕМ ЯЗЫКА MOSCOW ML В СИСТЕМЕ HOL
Жарияланған күні
15.06.2021
Баспа
Федеральное государственное бюджетное образовательное учреждение высшего образования «Пензенский государственный технологический университет»
Басылым атауы
Современные информационные технологии, № 33(33) 15.06.2021
DOI
10.46548/21vek-2021-1054-0048
Автор(лар)
ДУБИНИН АЛЕКСЕЙ ВИКТОРОВИЧ - Пензенский государственный университет
ПЕЧАТКИН КОНСТАНТИН ВЛАДИМИРОВИЧ - Пензенский государственный университет
ДУБИНИН ВИКТОР НИКОЛАЕВИЧ - Пензенский государственный университет
Аннотация(лар)
Предлагаются способы использования системы HOL, основанной на логике высших порядков, для исследования недетерминированных автоматов классическими методами. Рассматривается метод описания и моделирования недетерминированных автоматов на языке функционального программирования Moscow ML.
Мақаланың толық мәтіні
| 01.pdf |
|---|