Чеботарев, А. Н. Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. - 2013. - № 1. - С. 3-10. - Библиогр.: с. 10 . - ISSN 0023-1274 Рубрики: Кібернетика Кл.слова (ненормовані): язик специфікації L* -- синтез автомата Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Чеботарев, А. Н. Согласование взаимодействующих автоматов [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. - 2015. - № 5. - С. 13-15. - Библиогр. в конце ст. Рубрики: Кібернетика Кл.слова (ненормовані): композиції автоматов -- узгодження автоматів -- коректність композиції Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Чеботарев, А. Н. Некоторые подмножиства монадической логики первого порядка (MFO), используемые для спецификации и синтеза автоматов [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. - 2017. - № 4. - С. 22-36 : рис. - Библиогр.: с. 35-36 . - ISSN 0023-1274
Цифрові автомати Кл.слова (ненормовані): автоматична семантика -- логічні мови -- абстрактні символи -- трансд'юсери Анотація: В статье рассмотрены два фрагмента, LP и LF, логики первого порядка с ограниченными кванторами, используемые для спецификации трансдьюсеров. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Чеботарев, А. Н. Проблемы синтеза Ʃ-автоматов, специфицированных в языках LP и LF логики первого порядка [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. - 2017. - № 5. - С. 22-33. - Библиогр.: с. 32-33 . - ISSN 0023-1274
Логіко-обчислювальна семантика Кл.слова (ненормовані): автоматна семантика -- квантори -- алгоритми Анотація: Автором статьи доказаны соответствующие варианты теоремы о спецификации автоматов в языках LP и LF логики первого порядка с ограниченными кванторами, предназначенные для спецификации циклических Ʃ-автоматоматов. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |