171
правка
Изменения
Нет описания правки
По оформлению: вот опять же лично мне не нравится такой псевдокод, как-то непривычно после if видеть двоеточие.
Сейчас в первой теореме имеются более существенные проблемы, связанные с некорректным введением <tex>\Sigma</tex>.--[[Участник:Igor buzhinsky|Игорь Бужинский]] 21:41, 1 июня 2012 (GST)
1) Фразу следует понимать буквально. Это нужно, чтобы сформулировать введение, не прибегая к пока не введенным терминам. Можно перефразировать.
2, 3) Формулировку и доказательство поправил. Я добавил еще одно предложение про <tex>\Sigma</tex> перед теоремой, правда, у меня нет источника, подтверждающего правильность сделанного. Без этого предложения было бы необоснованным говорить, что что-то нетривиальное вообще принадлежит <tex>\Sigma</tex>.--[[Участник:Igor buzhinsky|Игорь Бужинский]] 18:39, 2 июня 2012 (GST)
Программы, удовлетворяющие ограничениям <tex>\mathrm{ZPP}</tex>, могут ошибаться. То же относится к <tex>\mathrm{RP}</tex> в случае <tex>x \not \in L</tex>.
Что за сложностный класс <tex>\Sigma^*</tex>? Для класса, содержащего все языки, лучше подойдёт какой-нибудь <tex>U</tex>. Или можно словами расписать, что содержит все языки. Или <tex>2^{\Sigma^*}</tex>, в конце концов.
[[Участник:Shevchen|Дмитрий Шевченко]] 23:00, 4 июня 2012 (GST)
