Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L
Рассматривается метод синтеза конечного автомата, специфицированного в логическом языке L*. Метод основан на трансляции спецификации в язык L и синтезе автомата по спецификации в этом языке. Розглядається метод синтезу скінченного автомата, специфікованого логічною мовою L*. Метод базується на транс...
Saved in:
| Published in: | Комп’ютерні засоби, мережі та системи |
|---|---|
| Date: | 2011 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2011
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/46448 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L / А.Н. Чеботарев, А.К. Богаченко // Комп’ютерні засоби, мережі та системи. — 2011. — № 10. — С. 13-21. — Бібліогр.: 7 назв. — рос. |