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

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

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2009
Автор: Шукурян, А.С.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 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
Опис
Резюме:Розглянуто проблему еквівалентності регулярних виразів в частково комутативному алфавіті, коли елементи неперетинних підмножин переставні. Доказано розв’язність спеціального випадку проблеми, коли потужність однієї підмножини більша одиниці, а потужність решти підмножин дорівнює одиниці. The equivalence problem is considered for regular expressions over a partially commutative alphabet. The alphabet is decomposed into disjoint subsets of noncommutative elements. The special case of the problem when the cardinal number of only one of subsets is larger than 1 and cardinal numbers of other subsets are equal to 1 is proved to be algorithmically solvable.
ISSN:0023-1274