Изменения

Пусть <tex>X</tex> — некий [[Основные_определения:_алфавит,_слово,_язык,_конкатенация,_свободный_моноид_слов;_операции_над_языками | язык]], для которого выполняется равенство <tex>X = \alpha X + \beta </tex>, где <tex>\alpha,\,\beta</tex> — некие [[Регулярные_языки:_два_определения_и_их_эквивалентность | регулярные выражения ]] над неким алфавитом <tex>A</tex>.