Два результата о невычислимости для одномерных мозаичных автоматов

Оператор $P$ с локальным взаимодействием действует на совокупности островов – конечных подмножеств целочисленной прямой. Доказываются два утверждения об алгоритмической невычислимости для таких операторов.