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

Эквивалентность регулярных выражений в частично коммутативном алфавите

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

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

(min,max) -эквивалентность частично упорядоченных множеств и неотрицательные формы Титса
за авторством: Бондаренко, В.М., та інші
Опубліковано: (2008)

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

Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
за авторством: Пантелеймонов, А.А.
Опубліковано: (2006)

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

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

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

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

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

Формирование минимальных d-сепараторов в системе зависимостей
за авторством: Балабанов, А.С.
Опубліковано: (2009)

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

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

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

Алгоритм формальной верификации шаблонов бизнес-процессов
за авторством: Варосян, А.С.
Опубліковано: (2011)

Эквивалентность стандартных пределов в теории пределов
за авторством: Мироненко, Л.П.
Опубліковано: (2012)

Информационно-экстремальный метод классификации наблюдений с категориальными признаками
за авторством: Довбыш, А.С., та інші
Опубліковано: (2016)

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

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

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

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

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

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

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

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

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

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

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

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

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2010)

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

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

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

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

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

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

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

Представление чисел в смешанном базисе (2, 3)
за авторством: Анисимов, А.В.
Опубліковано: (2009)

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

Групповые структуры на фактор-множествах в задачах классификации
за авторством: Машталир, В.П., та інші
Опубліковано: (2014)