Рассматривается два вида запретов на структуру схем из функциональных элементов: запреты на наличие в схемах ориентированных циклов и склеек выходов функциональных элементов. Показано, что в практическом синтезе схем оба запрета нарушаются, а требование отсутствия в схемах ориентированных циклов исключает из рассмотрения интересный класс автоматных схем. В связи с этим представляется целесообразным разработать теорию синтеза схем без указанных запретов.
Ключевые слова:
схема из функциональных элементов, структурный запрет, корректность схемы, автоматная схема