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