Изменения

<tex> L \in P \Rightarrow \exists </tex> Машина машина Тьюринга m такая, что <tex> L(m)=L </tex>. В [[Примеры_NP-полных_языков._Теорема_Кука|теореме Кука]] мы показали, что для машины Тьюринга можно составить логическую схему. Отсюда следует, что <tex> P \subset P/poly </tex>.