О классе формул языка L*, специфицирующих автоматы с конечной памятью

• Veröffentlicht in: Кибернетика и системный анализ
• Datum: 2010
• ISSN: 0023-1274
• 1. Verfasser: Чеботарев, А.Н.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2010
• Schlagworte: Кибернетика
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/45120
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: О классе формул языка L*, специфицирующих автоматы с конечной памятью / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 1. — С. 3–9. — Бібліогр.: 6 назв. — рос.

Характеризується клас специфікацій в мові L*, що специфікують автомати зі скінченною пам’яттю. Обґрунтовано перетворення будь-якої специфікації в мові L* в еквівалентну у певному розумінні специфікацію, що специфікує автомат зі скінченною пам’яттю. The class of L*-language specifications that specif...