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

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Кибернетика и системный анализ
Datum:2009
ISSN:0023-1274
1. Verfasser: Шукурян, А.С.
Format: Artikel
Sprache:Russisch
Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2009
Schlagworte:
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/44368
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:Эквивалентность регулярных выражений в частично коммутативном алфавите / А.С. Шукурян // Кибернетика и системный анализ. — 2009. — № 3. — С. 65-74. — Бібліогр.: 7 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Beschreibung
Zusammenfassung:Розглянуто проблему еквівалентності регулярних виразів в частково комутативному алфавіті, коли елементи неперетинних підмножин переставні. Доказано розв’язність спеціального випадку проблеми, коли потужність однієї підмножини більша одиниці, а потужність решти підмножин дорівнює одиниці. 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