Висота ітерації мови
У теоретичній інформатиці, а саме, теорії формальних мов, висота ітерації — це міра структурної складності регулярних виразів — висота ітерації регулярного виразу дорівнює найбільшій глибині вкладеності зірочок, наявних у регулярному виразі. Поняття висоти ітерації першим увів та вивчав Егган (1963).
Формальне визначення
ред.Формально, висота ітерації регулярного виразу над скінченним алфавітом визначається індуктивно так:
- , і для будь-якого символу з .
Тут позначає порожню множину, означає порожній рядок, а і — довільні регулярні вирази.
Висота ітерації регулярної мови визначається як найменша висота ітерації всіх регулярних виразів, що представляють . Інтуїтивно зрозуміло, що якщо мова має високу висоту ітерації, вона сама по собі складна, її не можна описати в термінах «простих» регулярних виразів з низькою висотою ітерації.
Приклади
ред.Хоча обчислити висоту ітерації регулярного виразу просто, визначення висоти ітерації мови іноді може видатися заплутаним. Наприклад, регулярний вираз
над алфавітом має висоту ітерації 2. Однак описувана мова являє собою множину всіх слів, що закінчуються на . Цю ж мову можна описати за допомогою виразу
- ,
висота ітерації якого лише 1. Щоб довести, що висота ітерації мови дорівнює 1, потрібно виключити можливість опису мови регулярним виразом із меншою висотою ітерації. Наприклад, це можна зробити побічно, довівши, що мова з висотою ітерації 0 містить лише скінченне число слів. Оскільки наша мова нескінченна, вона не може мати висоту ітерації 0.
Висота ітерації групової мови[en] обчислювана. Наприклад, висота ітерації мови над , в якій число входжень і можна порівняти за модулем , дорівнює [1].
Теорема Еггана
ред.У своїх основоположних дослідженнях висоти ітерації регулярних мов Егган[2] установив зв'язок між теорією регулярних виразів, теорією скінченних автоматів та орієнтованими графами. Надалі цей зв'язок став відомим як теорема Еггана[3]. Нагадаємо деякі поняття з теорії графів та теорії автоматів.
У теорії графів циклічний ранг орієнтованого графа (орграфа) визначається індуктивно так:
- Якщо є ациклічним, . Циклічний ранг дорівнює нулю в разі порожнього графа .
- Якщо сильно зв'язний і не порожня, то
- де — орграф, отриманий видаленням вершини і всіх дуг, що починаються або закінчуються у .
- Якщо не сильно зв'язний, то дорівнює найбільшому циклічному рангу серед усіх сильно зв'язних компонент графа .
У теорії автоматів недетермінований скінченний автомат з ε-переходами (ε-НСА) визначається як кортеж (Q, Σ, δ, q0, F), що складається з:
- скінченної множини станів Q,
- скінченної множини вхідних символів Σ,
- множини помічених дуг δ, званих переходами : (тут ε позначає порожній рядок),
- початкового стану q0 ∈ Q,
- множини станів F, званих поглинальними, F⊆Q.
ε-НСА приймає слово w ∈ Σ*, якщо існує орієнтований ланцюг із початкового стану q0 до деякого кінцевого стану F, що використовує дуги з δ так що конкатенація всіх міток уздовж шляху утворює слово w. Множина всіх слів над Σ*, які приймає автомат, є мовою, яку приймає автомат A.
Якщо говорити про недетермінований скінченний автомат A зі множиною станів Q як про орієнтований граф, ми природно маємо на увазі граф із множиною вершин Q, породженою переходами. Тепер можна сформулювати теорему.
- Теорема Еггана: Висота ітерації регулярної мови L дорівнює найменшому циклічному рангу серед усіх недетермінованих скінченних автоматів з ε-переходами, що приймають мову L.
Доведення цієї теореми дав Егган[2], і пізніше Сакарович[3].
Узагальнена проблема висоти ітерації
ред.Наведене вище визначення передбачає, що регулярний вираз будується на елементах алфавіту A, з використанням тільки стандартних операцій об'єднання множин, конкатенації та замикання Кліні. Узагальнений регулярний вираз визначається як регулярний вираз, але включає ще операцію доповнення множини (доповнення завжди береться відносно всіх слів над A). Якщо вважати, що взяття доповнення не збільшує висоти ітерації, тобто
- ,
можна визначити узагальнену висоту ітерації регулярної мови L як найменшу висоту ітерації серед усіх узагальнених регулярних виразів, що представляють мову L.
Зауважимо, що у той час як мови з нульовою (звичайною) висотою ітерації містять скінченну кількість слів, існують нескінченні мови з нульовою узагальненою висотою ітерації.
Приклад. Регулярний вираз
наведений у прикладі вище, можна еквівалентно переписати як узагальнений регулярний вираз
- ,
оскільки доповнення порожньої множини — це точно всі слова над алфавітом A. Таким чином, множина всіх слів над алфавітом A, що закінчуються буквою a, має висоту ітерації один, тоді як узагальнена висота ітерації дорівнює нулю.
Мови з нульовою висотою ітерації називають мовами без зірочок[en]. Можна показати, що мова L є мовою без зірочок тоді й лише тоді, коли її синтаксичний моноїд[en] є аперіодичним[en][4].
Див. також
ред.Примітки
ред.- ↑ Sakarovitch, 2009, с. 342.
- ↑ а б Eggan, 1963.
- ↑ а б Sakarovitch, 2009.
- ↑ Schützenberger, 1965.
Література
ред.- Jean Berstel, Christophe Reutenauer. Noncommutative rational series with applications. — Cambridge : Cambridge University Press, 2011. — Т. 137. — (Encyclopedia of Mathematics and Its Applications) — ISBN 978-0-521-19022-0.
- Rina S. Cohen. Techniques for establishing star height of regular sets // Theory of Computing Systems. — 1971. — Т. 5, вип. 2. — С. 97—114. — ISSN 1432-4350. — DOI: .
- Rina S. Cohen, J.A. Brzozowski. General properties of star height of regular events // Journal of Computer and System Sciences. — 1970. — Т. 4, вип. 3. — С. 260—280. — ISSN 0022-0000. — DOI: . Архівовано з джерела 5 червня 2022. Процитовано 5 червня 2022.
- Lawrence C. Eggan. Transition graphs and the star-height of regular events // Michigan Mathematical Journal. — 1963. — Т. 10, вип. 4. — С. 385—397. — DOI: .
- Jacques Sakarovitch. Elements of automata theory. — Cambridge : Cambridge University Press, 2009. — ISBN 978-0-521-84425-3.
- Arto Salomaa. Jewels of formal language theory. — Rockville, Maryland : Computer Science Press, 1981. — ISBN 0-914894-69-2.
- M.P. Schützenberger. On finite monoids having only trivial subgroups // Information and Control. — 1965. — Т. 8, вип. 2. — С. 190—194. — ISSN 0019-9958. — DOI: . Архівовано з джерела 5 червня 2022. Процитовано 5 червня 2022.