Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2010
Автор:	Чеботарев, А.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/45120
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	О классе формул языка L*, специфицирующих автоматы с конечной памятью / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 1. — С. 3–9. — Бібліогр.: 6 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Примитивные и неприводимые автоматы
за авторством: Рысцов, И.К.
Опубліковано: (2015)

Асинхронные автоматы, сравнивающие треки
за авторством: Шахбазян, К.В., та інші
Опубліковано: (2012)

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
за авторством: Чеботарев, А.Н.
Опубліковано: (2013)

Проблема мортальности и аффинные автоматы
за авторством: Рысцов, И.К.
Опубліковано: (2008)

Конечные автоматы в информационных технологиях
за авторством: Крывый, С.Л.
Опубліковано: (2011)

Согласование спецификаций автоматов, представленных в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2016)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2010)

Моделирование автоматов над конечным кольцом автоматами с конечной памятью
за авторством: Скобелев, В.В.
Опубліковано: (2012)

Усовершенствованный метод синтеза автомата по его спецификации в языке L
за авторством: Тимофеев, В.Г., та інші
Опубліковано: (2011)

Формальные методы анализа дискретных систем с использованием языка спецификаций
за авторством: Крывый, С.Л., та інші
Опубліковано: (2009)

Композиционный подход к проектированию реактивных алгоритмов
за авторством: Чеботарев, А.Н.
Опубліковано: (2013)

Согласование взаимодействующих автоматов
за авторством: Чеботарев, А.Н.
Опубліковано: (2015)

Использование согласования логических спецификаций автоматов при решении игровых задач
за авторством: Чеботарев, А.Н.
Опубліковано: (2014)

Проектирование реактивных алгоритмов путем решения уравнений над автоматами
за авторством: Чеботарев, А.Н.
Опубліковано: (2012)

Метод вычисления семантической близости-связности между словами естественного языка
за авторством: Анисимов, А.В., та інші
Опубліковано: (2011)

Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
за авторством: Марченко, А.А.
Опубліковано: (2016)

Об одном классе бесконечномерных линейных групп конечной линейной ширины
за авторством: Дашкова, О.Ю.
Опубліковано: (2008)

Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами
за авторством: Михайлюк, В.А., та інші
Опубліковано: (2012)

О криптографических свойствах нового национального стандарта шифрования Украины
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2016)

Автоматы на конечных Т-квазигруппах
за авторством: Скобелев, В.В., та інші
Опубліковано: (2018)

Автоматы на абстрактных конечных квазигруппах
за авторством: Скобелев, В.В., та інші
Опубліковано: (2017)

О работах киевской школы теоретической криптографии
за авторством: Савчук, М.Н.
Опубліковано: (2010)

Анализ устойчивости задачи о ранце: один отрицательный результат
за авторством: Михайлюк, В.А., та інші
Опубліковано: (2013)

Реоптимизация задачи о покрытии множествами
за авторством: Михайлюк, В.А.
Опубліковано: (2010)

О гомоморфизме компонентной сети Петри
за авторством: Лукьянова, Е.А.
Опубліковано: (2014)

Несколько замечаний о проблеме Коллатца
за авторством: Рысцов, И.К.
Опубліковано: (2013)

О сложности вычисления параметров устойчивости в задачах булева программирования
за авторством: Михайлюк, В.А., та інші
Опубліковано: (2015)

О решении одного класса нелинейных балансовых моделей межотраслевого эколого-экономического взаимодействия
за авторством: Недашковский, Н.А., та інші
Опубліковано: (2011)

О вычислительной стойкости квантовых алгоритмов преобразования информации
за авторством: Скобелев, В.Г.
Опубліковано: (2010)

О сложности анализа автоматов над конечным кольцом
за авторством: Скобелев, В.В., та інші
Опубліковано: (2010)

О некоторых множествах автоматов над конечным кольцом
за авторством: Скобелев, В.Г.
Опубліковано: (2011)

О группах с конечной периодической частью
за авторством: Шунков, В.П.
Опубліковано: (1988)

О пороге отношения аппроксимации для реоптимизации задачи о максимальном количестве выполненных уравнений в линейных системах над конечным полем
за авторством: Михайлюк, В.А.
Опубліковано: (2012)

Мера неопределенности задачи Беллмана–Джонсона с интервальными длительностями
за авторством: Сотсков, Ю.Н., та інші
Опубліковано: (2012)

О двух типах нелинейных автоматов над конечным кольцом
за авторством: Скобелев, В.В.
Опубліковано: (2009)

Улучшенная верхняя граница для относительного расстояния между булевой функцией и множеством k-мерных функций
за авторством: Алексейчук, А.Н.
Опубліковано: (2015)

Задачи оптимизации на графах с интервальными параметрами
за авторством: Перепелица, В.А., та інші
Опубліковано: (2009)

О двух последовательностях множеств отображений абстрактных множеств в дедекиндово кольцо
за авторством: Скобелев, В.В.
Опубліковано: (2012)

О влиянии потребительских предпочтений на равновесие в открытой экономической системе
за авторством: Махорт, А.Ф.
Опубліковано: (2016)

Асимптотическая стохастическая устойчивость решений динамических систем с последействием с учетом марковских возмущений
за авторством: Антонюк, С.В., та інші
Опубліковано: (2013)