Изменения

Пусть <tex> L \in P/poly </tex>. Тогда существуют <tex> a_0, a_1, .. , a_n, .. </tex> {{---}} подсказки. Зафиксируем n. Пусть подсказка Числу соответствует логическая схема <tex> a_n C_n </tex> позволяет определить. Запишем программу p в виде логической схемы, удовлетворяет ли которая принимает на вход x слово длины n логической схеме. Зашьем эту и подсказку в логическую схему <tex> C_n a_n </tex>, за счет чего распознаваться будут только слова из языка. А теперь зашьем подсказку в самой схеме. Теперь логическая схема удовлетворяет принимает только словам из языкаслова длины n и определяет их принадлежность языку.