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