О классе формул языка L*, специфицирующих автоматы с конечной памятью
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
О классе формул языка L*, специфицирующих автоматы с конечной памятью
|
|
Creator |
Чеботарев, А.Н.
|
|
Subject |
Кибернетика
|
|
Description |
Характеризується клас специфікацій в мові L*, що специфікують автомати зі скінченною пам’яттю. Обґрунтовано перетворення будь-якої специфікації в мові L* в еквівалентну у певному розумінні специфікацію, що специфікує автомат зі скінченною пам’яттю.
The class of L*-language specifications that specify automata with finite memory is characterized. We justify the transformation of an L*-language specification to an equivalent specification that specifies an automaton with finite memory. |
|
Date |
2013-06-07T18:58:42Z
2013-06-07T18:58:42Z 2010 |
|
Type |
Article
|
|
Identifier |
О классе формул языка L*, специфицирующих автоматы с конечной памятью / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 1. — С. 3–9. — Бібліогр.: 6 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45120 519.713.1 |
|
Language |
ru
|
|
Relation |
Кибернетика и системный анализ
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|