![]() | Наукова періодика України |
| Кібернетика та системний аналіз |
Чеботарев А. Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L / А. Н. Чеботарев // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 60-69. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_7 Запропоновано метод переходу від специфікації автомата мовою L* до специфікації у мові L. Спочатку завдяки введенню додаткових предикатних символів специфікація перетворюється у специфікацію автомата зі скінченною пам'яттю, яка потім перетворюється в автоматно еквівалентну специфікацію у мові L. Цитованість авторів публікації: Бібліографічний опис для цитування: Чеботарев А. Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L / А. Н. Чеботарев // Кибернетика и системный анализ. - 2010. - Т. 46, № 4. - С. 60-69. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2010_46_4_7. |
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |
|||||