Регулярна подія

Матеріал з Вікіпедії — вільної енциклопедії.
Версія від 13:33, 19 серпня 2016, створена VictorAnyakin (обговорення | внесок)
(різн.) ← Попередня версія | Поточна версія (різн.) | Новіша версія → (різн.)
Перейти до навігації Перейти до пошуку

Регулярна подія — множина слів певного алфавіту, отримана із однолітерних слів із допомогою скінченої кількості застосувань наступних операцій до множини слів:

  • теоретико-множинне об'єднання AB;
  • добуток A·B, який визначається як множина слів, які мають вигляд αβ (α ∈ A, β ∈ B);
  • ітерація {A}, яка визначається як {A} = AA · AA · A · AA · A × A · A ∪ … (існує і інше визначення ітерації, коли вимагають, щоб до {A} належало порожнє слово e, тобто, вважають {A} = eAA · AA · A · AA · A · A · A · A ∪ …).

Оскільки справедлива теорема, в якій стверджується, що регулярні події, і тільки вони представимі в скінченних автоматах, поняття регулярних подій є одним із основних в алгебраїчній теорії автоматів.

Джерела інформації

[ред. | ред. код]

Див. також

[ред. | ред. код]