Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L
|
|
Creator |
Чеботарев, А.Н.
Богаченко, А.К. |
|
Description |
Рассматривается метод синтеза конечного автомата, специфицированного в логическом языке L*. Метод основан на трансляции спецификации в язык L и синтезе автомата по спецификации в этом языке.
Розглядається метод синтезу скінченного автомата, специфікованого логічною мовою L*. Метод базується на трансляції специфікації у мову L і синтезі автомата за специфікацією у цій мові. A method for synthesizing an FSM specified in the logical language L* is considered. The method is based on translating the specification into the language L and synthesizing an FSM from the specification in this language. |
|
Date |
2013-06-30T06:34:32Z
2013-06-30T06:34:32Z 2011 |
|
Type |
Article
|
|
Identifier |
Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L / А.Н. Чеботарев, А.К. Богаченко // Комп’ютерні засоби, мережі та системи. — 2011. — № 10. — С. 13-21. — Бібліогр.: 7 назв. — рос.
1817-9908 http://dspace.nbuv.gov.ua/handle/123456789/46448 519.713.1 |
|
Language |
ru
|
|
Relation |
Комп’ютерні засоби, мережі та системи
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|