Алгебра регулярных событий и выражений, определяющих задание конечных автоматов. Теорема С. Клини