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