Эквивалентность регулярных выражений в частично коммутативном алфавите
Розглянуто проблему еквівалентності регулярних виразів в частково комутативному алфавіті, коли елементи неперетинних підмножин переставні. Доказано розв’язність спеціального випадку проблеми, коли потужність однієї підмножини більша одиниці, а потужність решти підмножин дорівнює одиниці. 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 Ukraine| Summary: | Розглянуто проблему еквівалентності регулярних виразів в частково комутативному алфавіті, коли елементи неперетинних підмножин переставні. Доказано розв’язність спеціального випадку проблеми, коли потужність однієї підмножини більша одиниці, а потужність решти підмножин дорівнює одиниці.
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 |