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

Теория обобщенных линейных автоматов

Визначено лінійні та афінні автомати у загальному вигляді. Введено поняття розмірності для скінчених автоматів і доведено, що існують автомати максимальної розмірності. Доведено, що проблема досяжності станів у мономіальній формі не є алгоритмічно-розв’язною для двовимірних афінних автоматів. Доведе...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	Кибернетика и системный анализ
Дата:	2009
ISSN:	0023-1274
Автор:	Рысцов, И.К.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2009
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/44301
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Теория обобщенных линейных автоматов / И.К. Рысцов // Кибернетика и системный анализ. — 2009. — № 1. — С. 10-21. — Бібліогр.: 18 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

Эквивалентность двумерных многоленточных автоматов
за авторством: Григорян, А.А., та інші
Опубліковано: (2008)

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

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

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

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

Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
за авторством: Борисенко, В.И.
Опубліковано: (2015)

Помехоустойчивые коды переменной длины на основе конечных автоматов
за авторством: Завадский, И.А.
Опубліковано: (2015)

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

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

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

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

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

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

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

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

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

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

Сборочное программирование. Теория и практика
за авторством: Лаврищева, Е.М.
Опубліковано: (2009)

Теория конечных квантовых автоматов (обзор)
за авторством: Скобелев, В.Г.
Опубліковано: (2012)

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

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

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

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

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

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

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

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

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

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

Приближенный синтез оптимального управления квазилинейными стохастическими дифференциальными уравнениями с малым параметром и пуассоновскими возмущениями
за авторством: Ясинский, В.К., та інші
Опубліковано: (2008)

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

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

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

Вхождения в моноидах треков
за авторством: Шахбазян, К.В., та інші
Опубліковано: (2010)

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

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

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

Алгоритм Очевидности Глушкова
за авторством: Летичевский, А.А., та інші
Опубліковано: (2013)

Применение ускоренного моделирования к оценке количества некоторых k-мерных подпространств над конечным полем
за авторством: Масол, В.И., та інші
Опубліковано: (2010)