Обсуждение:Класс P

TODO

• Смысловая фигня:
  • То, что вверху написано — это, насколько я понимаю, определение. Его надо перенести вниз, чтобы оно было после оглавления. Ещё там написана какая-то чушь. Что такое [math]i[/math] в двойном определении, что такое вообще [math]in[/math]?
  • Определения надо НОРМАЛЬНО оформить. Как и для теорем, для них есть собственный шаблон.
  • Ссылка на определение DTIME.
  • Что за [math]L1[/math]. Проиндексируй нормально. А ещё там во второй строчке текст абсолютно сливается. Исправь.
  • Было бы неплохо написать хоть какие-нибудь идеи по поводу доказатеств свойств.
  • Ссылка на определение констекстно-свободных языков в формулировке соответствующей теоремы.
  • «Легко показать, что, по определению…» → «Легко показать, что, по определению [math]P[/math]…»
• Остальная фигня:
  • В первом определении после «то есть» двоеточие.
  • «Но, по теореме…» Запятая здесь не нужна. Мне кажется, лучше просто выпилить это «но».