Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
О классе формул языка L*, специфицирующих автоматы с конечной памятью
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Чеботарев, А.Н. | |
| dc.date.accessioned | 2013-06-07T18:58:42Z | |
| dc.date.available | 2013-06-07T18:58:42Z | |
| dc.date.issued | 2010 | |
| dc.identifier.citation | О классе формул языка L*, специфицирующих автоматы с конечной памятью / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 1. — С. 3–9. — Бібліогр.: 6 назв. — рос. | uk_UA |
| dc.identifier.issn | 0023-1274 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/45120 | |
| dc.description.abstract | Характеризується клас специфікацій в мові L*, що специфікують автомати зі скінченною пам’яттю. Обґрунтовано перетворення будь-якої специфікації в мові L* в еквівалентну у певному розумінні специфікацію, що специфікує автомат зі скінченною пам’яттю. | uk_UA |
| dc.description.abstract | 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. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | Інститут кібернетики ім. В.М. Глушкова НАН України | uk_UA |
| dc.relation.ispartof | Кибернетика и системный анализ | |
| dc.subject | Кибернетика | uk_UA |
| dc.title | О классе формул языка L*, специфицирующих автоматы с конечной памятью | uk_UA |
| dc.title.alternative | Про клас формул мови L*, що специфікують автомати зі скінченною пам’яттю | uk_UA |
| dc.title.alternative | On the class of L*-language formulas that specify automata with finite memory | uk_UA |
| dc.type | Article | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.identifier.udc | 519.713.1 |
