| |
Чеботарев, А. Н.
О классе формул языка L*, специфицирующих автоматы с конечной памятью [Текст] / А. Н. Чеботарев
// Кибернетика и системный анализ. – 2010. – Т. 46, № 1. – С. 3-9.
Характеризується клас специфікацій в мові L*, що специфікують автомати зі скінченною пам'яттю. Обґрунтовано перетворення будь-якої специфікації в мові L* в еквівалентну у певному розумінні специфікацію, що специфікує автомат зі скінченною пам'яттю. |
