|
язык (описания) абстрактных конечных автоматов
язык ASML
Язык с исполняемыми спецификациями, базирующийся на теории абстрактных конечных автоматов (см. также ASM[3]).
[Э.М. Пройдаков, Л.А. Теплицкий] |
EN |
|
FR |
|
|
Тематики
- информационные технологии в целом
Синонимы
EN
- ASML
- AsmL
- Abstract State Machine Language
|