Зведений каталог бібліотек Харкова
Чеботарев, А. Н. Преобразование спецификации автомата в языке L в автоматно эквивалентную спецификацию в языке L [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 60-69.
- Анотація:
Запропоновано метод переходу від специфікації автомата мовою L* до специфікації у мові L. Спочатку завдяки введенню додаткових предикатних символів специфікація перетворюється у специфікаці.ю автомата зі скінченною пам'яттю, яка потім перетворюється в автоматно еквівалентну специфікацію у мові L.
- Є складовою частиною документа:
Кибернетика и системный анализ [Текст]. — 2010. — №4.
- Теми документа
