Теория обобщенных линейных автоматов
Визначено лінійні та афінні автомати у загальному вигляді. Введено поняття розмірності для скінчених автоматів і доведено, що існують автомати максимальної розмірності. Доведено, що проблема досяжності станів у мономіальній формі не є алгоритмічно-розв’язною для двовимірних афінних автоматів. Доведе...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2009 |
| Main Author: | Рысцов, И.К. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/44301 |
| 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: | Теория обобщенных линейных автоматов / И.К. Рысцов // Кибернетика и системный анализ. — 2009. — № 1. — С. 10-21. — Бібліогр.: 18 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Анализ структуры класса линейных автоматов над кольцом Zpk
by: Скобелев, В.В.
Published: (2008)
by: Скобелев, В.В.
Published: (2008)
Эквивалентность двумерных многоленточных автоматов
by: Григорян, А.А., et al.
Published: (2008)
by: Григорян, А.А., et al.
Published: (2008)
Согласование взаимодействующих автоматов
by: Чеботарев, А.Н.
Published: (2015)
by: Чеботарев, А.Н.
Published: (2015)
Проблема мортальности и аффинные автоматы
by: Рысцов, И.К.
Published: (2008)
by: Рысцов, И.К.
Published: (2008)
Несколько замечаний о проблеме Коллатца
by: Рысцов, И.К.
Published: (2013)
by: Рысцов, И.К.
Published: (2013)
Примитивные и неприводимые автоматы
by: Рысцов, И.К.
Published: (2015)
by: Рысцов, И.К.
Published: (2015)
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
by: Борисенко, В.И.
Published: (2015)
by: Борисенко, В.И.
Published: (2015)
Помехоустойчивые коды переменной длины на основе конечных автоматов
by: Завадский, И.А.
Published: (2015)
by: Завадский, И.А.
Published: (2015)
Проверка эквивалентности программ с помощью двухленточных автоматов
by: Захаров, В.А.
Published: (2010)
by: Захаров, В.А.
Published: (2010)
О сложности анализа автоматов над конечным кольцом
by: Скобелев, В.В., et al.
Published: (2010)
by: Скобелев, В.В., et al.
Published: (2010)
Согласование спецификаций автоматов, представленных в языке L
by: Чеботарев, А.Н.
Published: (2016)
by: Чеботарев, А.Н.
Published: (2016)
О некоторых множествах автоматов над конечным кольцом
by: Скобелев, В.Г.
Published: (2011)
by: Скобелев, В.Г.
Published: (2011)
О двух типах нелинейных автоматов над конечным кольцом
by: Скобелев, В.В.
Published: (2009)
by: Скобелев, В.В.
Published: (2009)
Метод декодирования помехоустойчивого кода переменной длины на основе конечных автоматов
by: Завадский, И.А.
Published: (2015)
by: Завадский, И.А.
Published: (2015)
Использование согласования логических спецификаций автоматов при решении игровых задач
by: Чеботарев, А.Н.
Published: (2014)
by: Чеботарев, А.Н.
Published: (2014)
Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами
by: Михайлюк, В.А., et al.
Published: (2012)
by: Михайлюк, В.А., et al.
Published: (2012)
Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов
by: Башкин, В.А., et al.
Published: (2011)
by: Башкин, В.А., et al.
Published: (2011)
О мере изменения состояния коллектива взаимодействующих элементарных автоматов в дискретной среде
by: Курганский, А.Н.
Published: (2012)
by: Курганский, А.Н.
Published: (2012)
Сборочное программирование. Теория и практика
by: Лаврищева, Е.М.
Published: (2009)
by: Лаврищева, Е.М.
Published: (2009)
Теория конечных квантовых автоматов (обзор)
by: Скобелев, В.Г.
Published: (2012)
by: Скобелев, В.Г.
Published: (2012)
Комбинаторный метод решения систем линейных ограничений
by: Крывый, С.Л.
Published: (2014)
by: Крывый, С.Л.
Published: (2014)
Вычислительные алгоритмы для линейных балансовых моделей межотраслевого эколого-экономического взаимодействия
by: Недашковский, Н.А., et al.
Published: (2010)
by: Недашковский, Н.А., et al.
Published: (2010)
Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел
by: Крывый, С.Л.
Published: (2009)
by: Крывый, С.Л.
Published: (2009)
Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. I. Теоретические основы
by: Киселева, Е.М., et al.
Published: (2015)
by: Киселева, Е.М., et al.
Published: (2015)
О пороге отношения аппроксимации для реоптимизации задачи о максимальном количестве выполненных уравнений в линейных системах над конечным полем
by: Михайлюк, В.А.
Published: (2012)
by: Михайлюк, В.А.
Published: (2012)
Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. II. Алгоритмы построения диаграмм Вороного на основе теории оптимального разбиения множеств
by: Киселева, Е.М., et al.
Published: (2015)
by: Киселева, Е.М., et al.
Published: (2015)
Исследование структуры множества линейных БПИ-автоматов над кольцом Zpk
by: Скобелев, В.В.
Published: (2007)
by: Скобелев, В.В.
Published: (2007)
Характеристики линейных одномерных автоматов с лагом l над конечным кольцом
by: Скобелев, В.В.
Published: (2008)
by: Скобелев, В.В.
Published: (2008)
Анализ алгоритмов диффузии для решения оптимизационных задач структурного распознавания
by: Шлезингер, М.И., et al.
Published: (2011)
by: Шлезингер, М.И., et al.
Published: (2011)
Задачи оптимизации на графах с интервальными параметрами
by: Перепелица, В.А., et al.
Published: (2009)
by: Перепелица, В.А., et al.
Published: (2009)
Приближенный синтез оптимального управления квазилинейными стохастическими дифференциальными уравнениями с малым параметром и пуассоновскими возмущениями
by: Ясинский, В.К., et al.
Published: (2008)
by: Ясинский, В.К., et al.
Published: (2008)
Анализ оптимальных стратегий конкуренционной портфельной модели рынка акций с поливариантной функцией полезности
by: Кышакевич, Б.Ю., et al.
Published: (2011)
by: Кышакевич, Б.Ю., et al.
Published: (2011)
Асинхронные автоматы, сравнивающие треки
by: Шахбазян, К.В., et al.
Published: (2012)
by: Шахбазян, К.В., et al.
Published: (2012)
Об оптимизационных проблемах включения треков
by: Шахбазян, К.В., et al.
Published: (2010)
by: Шахбазян, К.В., et al.
Published: (2010)
Вхождения в моноидах треков
by: Шахбазян, К.В., et al.
Published: (2010)
by: Шахбазян, К.В., et al.
Published: (2010)
Запрещенные треки и запрещенные подтреки
by: Шахбазян, К.В., et al.
Published: (2013)
by: Шахбазян, К.В., et al.
Published: (2013)
Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы
by: Глибовец, Н.Н., et al.
Published: (2008)
by: Глибовец, Н.Н., et al.
Published: (2008)
Метод вычисления семантической близости-связности между словами естественного языка
by: Анисимов, А.В., et al.
Published: (2011)
by: Анисимов, А.В., et al.
Published: (2011)
Алгоритм Очевидности Глушкова
by: Летичевский, А.А., et al.
Published: (2013)
by: Летичевский, А.А., et al.
Published: (2013)
Применение ускоренного моделирования к оценке количества некоторых k-мерных подпространств над конечным полем
by: Масол, В.И., et al.
Published: (2010)
by: Масол, В.И., et al.
Published: (2010)
Similar Items
-
Анализ структуры класса линейных автоматов над кольцом Zpk
by: Скобелев, В.В.
Published: (2008) -
Эквивалентность двумерных многоленточных автоматов
by: Григорян, А.А., et al.
Published: (2008) -
Согласование взаимодействующих автоматов
by: Чеботарев, А.Н.
Published: (2015) -
Проблема мортальности и аффинные автоматы
by: Рысцов, И.К.
Published: (2008) -
Несколько замечаний о проблеме Коллатца
by: Рысцов, И.К.
Published: (2013)