171
правка
Изменения
→Странное ограничение
После описания i-го шага начинается полный трэш и с точки зрения орфографии, и с согласованием. И со смыслом тоже какая-то беда.
== Последствия ==
Из этой теоремы делаются очень глубокие и важные выводы. Про них тоже обязательно надо написать.
: «который использует операции релятивизации» — чё это за бредятина? [[Участник:Kirelagin|Кирилл Елагин]] 18:40, 7 мая 2012 (GST)
== Странное ограничение ==
Я правильно понимаю, что на <tex>i</tex>-ом шаге <tex>n</tex> не зависит от <tex>M_i</tex>? Тогда я не понимаю: что плохого в том, что машина <tex>M_i</tex> не разрешает слово <tex>1^n</tex> за <tex>2^{n - 1}</tex> шагов, потому как временной полином для этой машины вполне может выглядеть как:
<tex>p(k) = 2^n k </tex>.<br/>
(Друзья, давайте, всё-таки, будем подписываться! Или, хотя бы, логиниться. -- [[Участник:Kirelagin|Кирилл Елагин]] 23:06, 3 июня 2012 (GST))
: Присоединяюсь к вопросу. «Будем строить <tex>B</tex> так, чтобы <tex>\ldots</tex>» выглядит странным: для <tex>x: |x| = 1</tex> неравенство выполняется всегда. И хочется больше конкретики по поводу «бесконечного числа слов» из последнего предложения теоремы: кто сказал, что <tex>n</tex> будет расти с ростом <tex>i</tex>? Может, мы часто будем удалять слова из <tex>B</tex>. [[Участник:Shevchen|Дмитрий Шевченко]] 19:01, 4 июня 2012 (GST)
Я понимаю, что такое время работы программы на данном входе. Я не понимаю, что такое «программа (не) разрешает такой-то язык за время <tex>2^{n-1}</tex>». [[Участник:Kirelagin|Кирилл Елагин]] 23:06, 3 июня 2012 (GST)
== Мелкие по сравнению с остальным претензии ==
У тебя B написано то курсивным то прямым шрифтом (подсказка: посмотри в степени) (подсказка2: должно быть везде курсивным). [[Участник:Kirelagin|Кирилл Елагин]] 23:08, 3 июня 2012 (GST)
Первое следствие надо удалить, потому что оно есть во втором. Второе следствие надо переписать по-человечески. [[Участник:Kirelagin|Кирилл Елагин]] 23:08, 3 июня 2012 (GST)
