Изменения

#Число входов в схеме <tex> (C_n) </tex> равно <tex> n </tex>;#Каждая схема <tex> (C_n) </tex> имеет один выход;

{{ТеоремаЛемма|statement=Любой унарный язык принадлежит <tex> \mathrm{P/poly} </tex>.|proof=Рассмотрим произвольный унарный язык <tex> L \subset \{1\}^* </tex>. Подсказкой для слова <tex> x </tex> будет единица, если слово длины <tex> |x| </tex> есть в <tex> L </tex>, иначе ноль. Машина Тьюринга получит на вход слово <tex> x </tex> и подсказку для слов длины <tex> |x| </tex>. Теперь произведем проверку, что <tex> x </tex> действительно из нашего унарного алфавита. Если это не так, то сразу же не допустим слово, иначе выведем значение подсказки. <br>Таким образом, любой унарный язык принадлежит <tex> \mathrm{P/poly} </tex>. }} {{Лемма

Пусть Рассмотрим произвольный неразрешимый язык <tex> L \subset \{0, 1\}^* </tex> {{---}} произвольный неразрешимый . Построим язык. Пусть <tex> A </tex> следующим образом: <tex> A = \{1^n | </tex> бинарное представление <tex> n </tex> принадлежит <tex> L \} </tex>. Унарный язык <tex> A \in \mathrm{P/poly} </tex> позволяет разрешить <tex> A </tex>. В качестве подсказки <tex> a_n </tex> для входа <tex> x </tex> будем передавать единицу, если <tex> 1^n \in A </tex>, иначе ноль. <br>Язык но то же время <tex> A </tex> неразрешим, иначе можно было бы разрешить и <tex> L </tex>, что неверно. <br>Таким образомПолучается, что <tex> \mathrm{P/poly} </tex> содержит неразрешимые языки.