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

Эквивалентность двумерных многоленточных автоматов

Розглянуто проблему еквівалентності багатострічкових автоматів з багатовимірними стрічками, в яких рух головок монотонний у всіх напрямках (рух у зворотному напрямку неможливий). Доведено розв’язність спеціального випадку проблеми, коли розмірність стрічок менше або дорівнює двом. The paper address...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Новые доказательства важных теорем бестипового экстенсионального λ–исчисления
за авторством: Лялецкий, А.А.
Опубліковано: (2014)

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

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

Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений
за авторством: Галкин, А.А.
Опубліковано: (2016)

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

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

Афинно-инвариантный классификатор экстраполяционной глубины на основе многоуровневой структуры сглаживания
за авторством: Галкин, А.А.
Опубліковано: (2016)

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

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

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

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

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

Робастная идентификация нелинейных объектов с помощью эволюционирующей радиально-базисной сети
за авторством: Руденко, О.Г., та інші
Опубліковано: (2013)

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

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

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

Робастное обучение радиально-базисных сетей
за авторством: Руденко, О.Г., та інші
Опубліковано: (2011)

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

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

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015)

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