корректный синтез и существование рабочего профиля, полученного для эксперимента с результирующим автоматом см. Теорема 24.11