Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2008
Hauptverfasser:	Григорян, А.А., Шукурян, С.К.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2008
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/71929
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Эквивалентность двумерных многоленточных автоматов / А.А. Григорян, С.К. Шукурян // Кибернетика и системный анализ. — 2008. — № 1. — С. 3-10. — Бібліогр.: 2 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
von: Борисенко, В.И.
Veröffentlicht: (2015)

Эквивалентность регулярных выражений в частично коммутативном алфавите
von: Шукурян, А.С.
Veröffentlicht: (2009)

Согласование взаимодействующих автоматов
von: Чеботарев, А.Н.
Veröffentlicht: (2015)

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

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

Помехоустойчивые коды переменной длины на основе конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015)

О сложности анализа автоматов над конечным кольцом
von: Скобелев, В.В., et al.
Veröffentlicht: (2010)

О некоторых множествах автоматов над конечным кольцом
von: Скобелев, В.Г.
Veröffentlicht: (2011)

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

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

О двух типах нелинейных автоматов над конечным кольцом
von: Скобелев, В.В.
Veröffentlicht: (2009)

Метод декодирования помехоустойчивого кода переменной длины на основе конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015)

Об оптимизационных проблемах включения треков
von: Шахбазян, К.В., et al.
Veröffentlicht: (2010)

Асинхронные автоматы, сравнивающие треки
von: Шахбазян, К.В., et al.
Veröffentlicht: (2012)

Вхождения в моноидах треков
von: Шахбазян, К.В., et al.
Veröffentlicht: (2010)

Запрещенные треки и запрещенные подтреки
von: Шахбазян, К.В., et al.
Veröffentlicht: (2013)

Метод вычисления семантической близости-связности между словами естественного языка
von: Анисимов, А.В., et al.
Veröffentlicht: (2011)

Генерация символьных трасс в системе инсерционного моделирования
von: Летичевский, А.А., et al.
Veröffentlicht: (2015)

Свойства предикатного трансформера системы VRS
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

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

Глубинный метод классификации на основе удаленной меры концентрации для обработки асимметричных данных
von: Галкин, А.А.
Veröffentlicht: (2016)

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

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

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

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

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

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

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

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

Синтез нейро-нечетких сетей на основе ассоциативных правил
von: Олейник, А.А., et al.
Veröffentlicht: (2014)

Парадигмы модельного и символьного тестирования программных систем
von: Летичевский, А.А. (мл.)
Veröffentlicht: (2015)

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

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

Алгебраическая интерпретация микропрограммного автомата с операционным автоматом переходов
von: Бабаков, Р.М., et al.
Veröffentlicht: (2016)

Операционное формирование кодов состояний в микропрограммных автоматах
von: Баркалов, А.А., et al.
Veröffentlicht: (2011)

Робастное обучение радиально-базисных сетей
von: Руденко, О.Г., et al.
Veröffentlicht: (2011)

Многомерный статистический анализ влияния глобальных угроз на безопасность стран мира
von: Померанцева, Т.Н., et al.
Veröffentlicht: (2010)

Нечеткие системы логического вывода и их применение
von: Провотар, А.И., et al.
Veröffentlicht: (2013)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)

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