ИСТИНА

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