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