Эквивалентность регулярных выражений в частично коммутативном алфавите
Розглянуто проблему еквівалентності регулярних виразів в частково комутативному алфавіті, коли елементи неперетинних підмножин переставні. Доказано розв’язність спеціального випадку проблеми, коли потужність однієї підмножини більша одиниці, а потужність решти підмножин дорівнює одиниці. The equival...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2009 |
| Main Author: | Шукурян, А.С. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/44368 |
| 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: | Эквивалентность регулярных выражений в частично коммутативном алфавите / А.С. Шукурян // Кибернетика и системный анализ. — 2009. — № 3. — С. 65-74. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Эквивалентность двумерных многоленточных автоматов
by: Григорян, А.А., et al.
Published: (2008)
by: Григорян, А.А., et al.
Published: (2008)
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
by: Борисенко, В.И.
Published: (2015)
by: Борисенко, В.И.
Published: (2015)
Лексикографическая эквивалентность в частично комбинаторной оптимизации дробно-линейных функций на размещениях
by: Емец, О.А., et al.
Published: (2017)
by: Емец, О.А., et al.
Published: (2017)
Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
by: Пантелеймонов, А.А.
Published: (2006)
by: Пантелеймонов, А.А.
Published: (2006)
Вхождения в моноидах треков
by: Шахбазян, К.В., et al.
Published: (2010)
by: Шахбазян, К.В., et al.
Published: (2010)
Об оптимизационных проблемах включения треков
by: Шахбазян, К.В., et al.
Published: (2010)
by: Шахбазян, К.В., et al.
Published: (2010)
Асинхронные автоматы, сравнивающие треки
by: Шахбазян, К.В., et al.
Published: (2012)
by: Шахбазян, К.В., et al.
Published: (2012)
Запрещенные треки и запрещенные подтреки
by: Шахбазян, К.В., et al.
Published: (2013)
by: Шахбазян, К.В., et al.
Published: (2013)
Формирование минимальных d-сепараторов в системе зависимостей
by: Балабанов, А.С.
Published: (2009)
by: Балабанов, А.С.
Published: (2009)
Минимальные сепараторы в структурах зависимостей. Свойства и идентификация
by: Балабанов, А.С.
Published: (2008)
by: Балабанов, А.С.
Published: (2008)
Индуцированная зависимость, взаимодействие факторов и дискриминация каузальных структур
by: Балабанов, А.С.
Published: (2016)
by: Балабанов, А.С.
Published: (2016)
Алгоритм формальной верификации шаблонов бизнес-процессов
by: Варосян, А.С.
Published: (2011)
by: Варосян, А.С.
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: (2010)
by: Алексейчук, А.Н., et al.
Published: (2010)
Система сущностей бизнес-моделей организационных систем
by: Маслянко, П.П., et al.
Published: (2012)
by: Маслянко, П.П., et al.
Published: (2012)
Полускалярная эквивалентность и факторизация многочленных матриц
by: Петрикович, В.М.
Published: (1990)
by: Петрикович, В.М.
Published: (1990)
Об инвариантности ключей относительно операций табличных алгебр
by: Редько, В.Н., et al.
Published: (2015)
by: Редько, В.Н., et al.
Published: (2015)
О криптографических свойствах нового национального стандарта шифрования Украины
by: Алексейчук, А.Н., et al.
Published: (2016)
by: Алексейчук, А.Н., et al.
Published: (2016)
Подход к определению эффективных признаков и синтезу оптимального полосно-разделяющего классификатора для элементов дактильно-жестовой речи
by: Крак, Ю.В., et al.
Published: (2016)
by: Крак, Ю.В., et al.
Published: (2016)
Информационная технология анализа мимических проявлений эмоциональных состояний человека
by: Кривонос, Ю.Г., et al.
Published: (2015)
by: Кривонос, Ю.Г., et al.
Published: (2015)
Генерация символьных трасс в системе инсерционного моделирования
by: Летичевский, А.А., et al.
Published: (2015)
by: Летичевский, А.А., et al.
Published: (2015)
Построение оптимальных алгоритмов массовых вычислений в задачах цифровой фильтрации
by: Анисимов, А.В., et al.
Published: (2008)
by: Анисимов, А.В., et al.
Published: (2008)
Гладкая и топологическая эквивалентность функций на поверхностях
by: Шарко, В.В.
Published: (2003)
by: Шарко, В.В.
Published: (2003)
Конечные автоматы в информационных технологиях
by: Крывый, С.Л.
Published: (2011)
by: Крывый, С.Л.
Published: (2011)
Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
by: Чеботарев, А.Н.
Published: (2010)
by: Чеботарев, А.Н.
Published: (2010)
Об эффективности метода вероятностно нейтральных битов в статистическом криптоанализе синхронных поточных шифров
by: Алексейчук, А.Н., et al.
Published: (2016)
by: Алексейчук, А.Н., et al.
Published: (2016)
Некоторые подходы к моделированию цен в эколого-экономической системе
by: Григоркив, В.С.
Published: (2009)
by: Григоркив, В.С.
Published: (2009)
Представление чисел в двухбазисных системах счисления
by: Анисимов, А.В.
Published: (2013)
by: Анисимов, А.В.
Published: (2013)
Операционное формирование кодов состояний в микропрограммных автоматах
by: Баркалов, А.А., et al.
Published: (2011)
by: Баркалов, А.А., et al.
Published: (2011)
Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел
by: Крывый, С.Л.
Published: (2009)
by: Крывый, С.Л.
Published: (2009)
Согласование спецификаций автоматов, представленных в языке L
by: Чеботарев, А.Н.
Published: (2016)
by: Чеботарев, А.Н.
Published: (2016)
Групповые структуры на фактор-множествах в задачах классификации
by: Машталир, В.П., et al.
Published: (2014)
by: Машталир, В.П., et al.
Published: (2014)
Предикатные преобразователи в контексте символьного моделирования транзиционных систем
by: Годлевский, А.Б.
Published: (2010)
by: Годлевский, А.Б.
Published: (2010)
Дискретные совершенные множества и их применение в кластерном анализе
by: Агаян, С.М., et al.
Published: (2014)
by: Агаян, С.М., et al.
Published: (2014)
Построение гамильтонова пути в графах перестановочных многогранников
by: Донец, Г.А., et al.
Published: (2010)
by: Донец, Г.А., et al.
Published: (2010)
Роль предложно-падежных форм в выражении языкового смысла «время»
by: Калугина, Т.В.
Published: (2013)
by: Калугина, Т.В.
Published: (2013)
Моделирование механизма финансового выравнивания на примере межбюджетных отношений в Украине
by: Гудыма, А.В.
Published: (2013)
by: Гудыма, А.В.
Published: (2013)
О влиянии потребительских предпочтений на равновесие в открытой экономической системе
by: Махорт, А.Ф.
Published: (2016)
by: Махорт, А.Ф.
Published: (2016)
Рекурсия и параллельные алгоритмы в задачах геометрического моделирования
by: Терещенко, В.Н., et al.
Published: (2010)
by: Терещенко, В.Н., et al.
Published: (2010)
Similar Items
-
Эквивалентность двумерных многоленточных автоматов
by: Григорян, А.А., et al.
Published: (2008) -
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
by: Борисенко, В.И.
Published: (2015) -
Лексикографическая эквивалентность в частично комбинаторной оптимизации дробно-линейных функций на размещениях
by: Емец, О.А., et al.
Published: (2017) -
Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
by: Пантелеймонов, А.А.
Published: (2006) -
Вхождения в моноидах треков
by: Шахбазян, К.В., et al.
Published: (2010)