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