Регулярна подія: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
Рядок 1:
'''Регулярна подія''' — множина слів деякого алфавіту, отримана із однолітерних слів із допомогою скінченої кількості застосувань наступних операцій до множини слів:
* теоретико-множинне об'єднання ''A''∪''B'';
* добуток ''A''·''B'', який визначається як множина слів, які мають вигляд αβ (α ∈ ''A'', β ∈ ''B'');
* ітерація {''A''}, яка визначається як {''A''} = ''A'' ∪ ''A'' · ''A'' ∪ ''A'' · ''A'' · ''A'' ∪ ''A'' · ''A'' × ''A'' · ''A'' ∪ ... (існує і інше визначення ітерації, коли вимагають, щоб до {''A''} належало порожнє слово ''e'', тобто, вважають {''A''} = ''e'' ∪ ''A'' ∪ ''A'' · ''A'' ∪ ''A'' · ''A'' · ''A'' ∪ ''A'' · ''A'' · ''A'' · ''A'' · ''A'' ∪ ...).
Так як справедлива теорема, в якій стверджується, що регулярні події, і тільки вони представимі в [[Скінчений автомат|скінчених автоматах]], поняття регулярних подій є одним із основних в [[Алгебраїчна теорія автоматів|алгебраїчній теорії автоматів]].
== Джерела інформації ==
* [[Енциклопедія кібернетики]], т. '''2''', с.
== Дивіться також ==
* [[Регулярні події та вирази]]
* [[Подія (теорія автоматів)]]
{{Math-stub}}
|