Теорема полноты для одного класса автоматов без обратных связейстатья