211
правок
Изменения
Нет описания правки
Стало существенно понятнее. Только поставь, пожалуйста, точки в конце формулировок лемм и в доказательстве второй (после примечания) исправь <tex>\phi(a, B, t)</tex> - там же А должно быть.
У меня вопрос. Разве следующее утверждение верное: «Так как <tex>L \in \mathrm{PS}</tex>, то существует какая-то детерминированная машина Тьюринга <tex>M</tex>, которая его распознаёт за полиномиальное от размера входа время.»? --[[Участник:Байдаров Андрей|Байдаров Андрей]] 01:46, 2 июня 2012 (GST)
