О классе формул языка L*, специфицирующих автоматы с конечной памятью
dc.contributor.author | Чеботарев, А.Н. | |
dc.date.accessioned | 2013-06-07T18:58:42Z | |
dc.date.available | 2013-06-07T18:58:42Z | |
dc.date.issued | 2010 | |
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.identifier.citation | О классе формул языка L*, специфицирующих автоматы с конечной памятью / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 1. — С. 3–9. — Бібліогр.: 6 назв. — рос. | uk_UA |
dc.identifier.issn | 0023-1274 | |
dc.identifier.udc | 519.713.1 | |
dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/45120 | |
dc.language.iso | ru | uk_UA |
dc.publisher | Інститут кібернетики ім. В.М. Глушкова НАН України | uk_UA |
dc.relation.ispartof | Кибернетика и системный анализ | |
dc.status | published earlier | uk_UA |
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 |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- 01-Chebotarev.pdf
- Розмір:
- 132.58 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 817 B
- Формат:
- Item-specific license agreed upon to submission
- Опис: