Об одном подходе к временной декомпозиции автоматов. II

Устанавливается связь между классом конечных автоматов в целом и классом структурированных автоматов, определенным в [1]. Дается теорема структуризации конечных автоматов, которая показывает, что любой конечный автомат $M$ можно преобразовать в структурированный автомат, который реализует автоматное отображение, совпадающее при некоторых допущениях с отображением, реализуемым $M$. Приводится пример преобразования.