Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
|
|
Creator |
Чеботарев, А.Н.
|
|
Subject |
Кибернетика
|
|
Description |
Запропоновано метод переходу від специфікації автомата мовою L* до специфікації у мові L. Спочатку завдяки введенню додаткових предикатних символів специфікація перетворюється у специфікацію автомата зі скінченною пам’яттю, яка потім перетворюється в автоматно еквівалентну специфікацію у мові L.
A method is proposed to transform an FSM specification in the language L* into the specification in the language L. First, by using additional predicate symbols the specification is transformed to the specification of an FSM with finite memory. Then this specification is transformed to automata-equivalent specification in the language L. |
|
Date |
2013-06-10T16:24:10Z
2013-06-10T16:24:10Z 2010 |
|
Type |
Article
|
|
Identifier |
Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 4. — С. 60-69. — Бібліогр.: 9 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45244 519.713.1 |
|
Language |
ru
|
|
Relation |
Кибернетика и системный анализ
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|