Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L
Рассматривается метод синтеза конечного автомата, специфицированного в логическом языке L*. Метод основан на трансляции спецификации в язык L и синтезе автомата по спецификации в этом языке....
Збережено в:
| Дата: | 2011 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2011
|
| Назва видання: | Комп’ютерні засоби, мережі та системи |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/46448 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L / А.Н. Чеботарев, А.К. Богаченко // Комп’ютерні засоби, мережі та системи. — 2011. — № 10. — С. 13-21. — Бібліогр.: 7 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-46448 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-464482013-07-01T03:13:40Z Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L Чеботарев, А.Н. Богаченко, А.К. Рассматривается метод синтеза конечного автомата, специфицированного в логическом языке 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. 2011 Article Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L / А.Н. Чеботарев, А.К. Богаченко // Комп’ютерні засоби, мережі та системи. — 2011. — № 10. — С. 13-21. — Бібліогр.: 7 назв. — рос. 1817-9908 http://dspace.nbuv.gov.ua/handle/123456789/46448 519.713.1 ru Комп’ютерні засоби, мережі та системи Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| description |
Рассматривается метод синтеза конечного автомата, специфицированного в логическом языке L*. Метод основан на трансляции спецификации в язык L и синтезе автомата по спецификации в этом языке. |
| format |
Article |
| author |
Чеботарев, А.Н. Богаченко, А.К. |
| spellingShingle |
Чеботарев, А.Н. Богаченко, А.К. Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L Комп’ютерні засоби, мережі та системи |
| author_facet |
Чеботарев, А.Н. Богаченко, А.К. |
| author_sort |
Чеботарев, А.Н. |
| title |
Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L |
| title_short |
Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L |
| title_full |
Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L |
| title_fullStr |
Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L |
| title_full_unstemmed |
Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L |
| title_sort |
синтез автомата, специфицированного в языке l*, путем перехода к спецификации в языке l |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2011 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/46448 |
| citation_txt |
Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L / А.Н. Чеботарев, А.К. Богаченко // Комп’ютерні засоби, мережі та системи. — 2011. — № 10. — С. 13-21. — Бібліогр.: 7 назв. — рос. |
| series |
Комп’ютерні засоби, мережі та системи |
| work_keys_str_mv |
AT čebotarevan sintezavtomataspecificirovannogovâzykelputemperehodakspecifikaciivâzykel AT bogačenkoak sintezavtomataspecificirovannogovâzykelputemperehodakspecifikaciivâzykel |
| first_indexed |
2023-10-18T18:05:11Z |
| last_indexed |
2023-10-18T18:05:11Z |
| _version_ |
1796143273836806144 |