О классе формул языка L*, специфицирующих автоматы с конечной памятью
Характеризується клас специфікацій в мові L*, що специфікують автомати зі скінченною пам’яттю. Обґрунтовано перетворення будь-якої специфікації в мові L* в еквівалентну у певному розумінні специфікацію, що специфікує автомат зі скінченною пам’яттю. The class of L*-language specifications that specif...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2010 |
| Main Author: | Чеботарев, А.Н. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/45120 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | О классе формул языка L*, специфицирующих автоматы с конечной памятью / А.Н. Чеботарев // Кибернетика и системный анализ. — 2010. — № 1. — С. 3–9. — Бібліогр.: 6 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Примитивные и неприводимые автоматы
by: Рысцов, И.К.
Published: (2015)
by: Рысцов, И.К.
Published: (2015)
Асинхронные автоматы, сравнивающие треки
by: Шахбазян, К.В., et al.
Published: (2012)
by: Шахбазян, К.В., et al.
Published: (2012)
Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
by: Чеботарев, А.Н.
Published: (2013)
by: Чеботарев, А.Н.
Published: (2013)
Проблема мортальности и аффинные автоматы
by: Рысцов, И.К.
Published: (2008)
by: Рысцов, И.К.
Published: (2008)
Конечные автоматы в информационных технологиях
by: Крывый, С.Л.
Published: (2011)
by: Крывый, С.Л.
Published: (2011)
Согласование спецификаций автоматов, представленных в языке L
by: Чеботарев, А.Н.
Published: (2016)
by: Чеботарев, А.Н.
Published: (2016)
Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
by: Чеботарев, А.Н.
Published: (2010)
by: Чеботарев, А.Н.
Published: (2010)
Моделирование автоматов над конечным кольцом автоматами с конечной памятью
by: Скобелев, В.В.
Published: (2012)
by: Скобелев, В.В.
Published: (2012)
Усовершенствованный метод синтеза автомата по его спецификации в языке L
by: Тимофеев, В.Г., et al.
Published: (2011)
by: Тимофеев, В.Г., et al.
Published: (2011)
Формальные методы анализа дискретных систем с использованием языка спецификаций
by: Крывый, С.Л., et al.
Published: (2009)
by: Крывый, С.Л., et al.
Published: (2009)
Композиционный подход к проектированию реактивных алгоритмов
by: Чеботарев, А.Н.
Published: (2013)
by: Чеботарев, А.Н.
Published: (2013)
Согласование взаимодействующих автоматов
by: Чеботарев, А.Н.
Published: (2015)
by: Чеботарев, А.Н.
Published: (2015)
Использование согласования логических спецификаций автоматов при решении игровых задач
by: Чеботарев, А.Н.
Published: (2014)
by: Чеботарев, А.Н.
Published: (2014)
Проектирование реактивных алгоритмов путем решения уравнений над автоматами
by: Чеботарев, А.Н.
Published: (2012)
by: Чеботарев, А.Н.
Published: (2012)
Метод вычисления семантической близости-связности между словами естественного языка
by: Анисимов, А.В., et al.
Published: (2011)
by: Анисимов, А.В., et al.
Published: (2011)
Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
by: Марченко, А.А.
Published: (2016)
by: Марченко, А.А.
Published: (2016)
Об одном классе бесконечномерных линейных групп конечной линейной ширины
by: Дашкова, О.Ю.
Published: (2008)
by: Дашкова, О.Ю.
Published: (2008)
Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами
by: Михайлюк, В.А., et al.
Published: (2012)
by: Михайлюк, В.А., et al.
Published: (2012)
О криптографических свойствах нового национального стандарта шифрования Украины
by: Алексейчук, А.Н., et al.
Published: (2016)
by: Алексейчук, А.Н., et al.
Published: (2016)
Автоматы на конечных Т-квазигруппах
by: Скобелев, В.В., et al.
Published: (2018)
by: Скобелев, В.В., et al.
Published: (2018)
Автоматы на абстрактных конечных квазигруппах
by: Скобелев, В.В., et al.
Published: (2017)
by: Скобелев, В.В., et al.
Published: (2017)
О работах киевской школы теоретической криптографии
by: Савчук, М.Н.
Published: (2010)
by: Савчук, М.Н.
Published: (2010)
Анализ устойчивости задачи о ранце: один отрицательный результат
by: Михайлюк, В.А., et al.
Published: (2013)
by: Михайлюк, В.А., et al.
Published: (2013)
Реоптимизация задачи о покрытии множествами
by: Михайлюк, В.А.
Published: (2010)
by: Михайлюк, В.А.
Published: (2010)
О гомоморфизме компонентной сети Петри
by: Лукьянова, Е.А.
Published: (2014)
by: Лукьянова, Е.А.
Published: (2014)
Несколько замечаний о проблеме Коллатца
by: Рысцов, И.К.
Published: (2013)
by: Рысцов, И.К.
Published: (2013)
О сложности вычисления параметров устойчивости в задачах булева программирования
by: Михайлюк, В.А., et al.
Published: (2015)
by: Михайлюк, В.А., et al.
Published: (2015)
О решении одного класса нелинейных балансовых моделей межотраслевого эколого-экономического взаимодействия
by: Недашковский, Н.А., et al.
Published: (2011)
by: Недашковский, Н.А., et al.
Published: (2011)
О вычислительной стойкости квантовых алгоритмов преобразования информации
by: Скобелев, В.Г.
Published: (2010)
by: Скобелев, В.Г.
Published: (2010)
О сложности анализа автоматов над конечным кольцом
by: Скобелев, В.В., et al.
Published: (2010)
by: Скобелев, В.В., et al.
Published: (2010)
О некоторых множествах автоматов над конечным кольцом
by: Скобелев, В.Г.
Published: (2011)
by: Скобелев, В.Г.
Published: (2011)
О группах с конечной периодической частью
by: Шунков, В.П.
Published: (1988)
by: Шунков, В.П.
Published: (1988)
О пороге отношения аппроксимации для реоптимизации задачи о максимальном количестве выполненных уравнений в линейных системах над конечным полем
by: Михайлюк, В.А.
Published: (2012)
by: Михайлюк, В.А.
Published: (2012)
Мера неопределенности задачи Беллмана–Джонсона с интервальными длительностями
by: Сотсков, Ю.Н., et al.
Published: (2012)
by: Сотсков, Ю.Н., et al.
Published: (2012)
О двух типах нелинейных автоматов над конечным кольцом
by: Скобелев, В.В.
Published: (2009)
by: Скобелев, В.В.
Published: (2009)
Улучшенная верхняя граница для относительного расстояния между булевой функцией и множеством k-мерных функций
by: Алексейчук, А.Н.
Published: (2015)
by: Алексейчук, А.Н.
Published: (2015)
Задачи оптимизации на графах с интервальными параметрами
by: Перепелица, В.А., et al.
Published: (2009)
by: Перепелица, В.А., et al.
Published: (2009)
О двух последовательностях множеств отображений абстрактных множеств в дедекиндово кольцо
by: Скобелев, В.В.
Published: (2012)
by: Скобелев, В.В.
Published: (2012)
О влиянии потребительских предпочтений на равновесие в открытой экономической системе
by: Махорт, А.Ф.
Published: (2016)
by: Махорт, А.Ф.
Published: (2016)
Асимптотическая стохастическая устойчивость решений динамических систем с последействием с учетом марковских возмущений
by: Антонюк, С.В., et al.
Published: (2013)
by: Антонюк, С.В., et al.
Published: (2013)
Similar Items
-
Примитивные и неприводимые автоматы
by: Рысцов, И.К.
Published: (2015) -
Асинхронные автоматы, сравнивающие треки
by: Шахбазян, К.В., et al.
Published: (2012) -
Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
by: Чеботарев, А.Н.
Published: (2013) -
Проблема мортальности и аффинные автоматы
by: Рысцов, И.К.
Published: (2008) -
Конечные автоматы в информационных технологиях
by: Крывый, С.Л.
Published: (2011)