1679
правок
Изменения
Новая страница: «: {{tick}} англоязычные термины : {{tick}} англоязычные источники, в частности, википедия : {{tick}} В...»
: {{tick}} англоязычные термины
: {{tick}} англоязычные источники, в частности, википедия
: {{tick}} Выполним m-сведение множества пар из машины Тьюринга (МТ) и строки w , где M(w) не зависает — у этого множества есть название
: {{tick}} "Договоримся, что состояния в автомате МТ не существует (его роль может выполнять сток)," — щито? Что такое сток?
: {{tick}} "можно доказать по индукции, что если первая строка имеет вид", ну так доказать надо
: {{tick}} побольше интервики
: {{tick}} форматирование внутри теорем упоротое, какое-то полотно текста. Можно оформить правила преобразования как список, например и т.п.
: {{tick}} Вот эти вот left и right в док-ве основной теоремы совсем непонятны. Либо убрать их и написать понятнее, либо там же показать пример применения этих функций.
: {{tick}} пока все, но мне кажется, до хорошо читаемой статьи еще надо что-нибудь переписать
--[[Участник:Dgerasimov|Дмитрий Герасимов]] 12:15, 9 декабря 2012 (GST)
: {{tick}} англоязычные источники, в частности, википедия
: {{tick}} Выполним m-сведение множества пар из машины Тьюринга (МТ) и строки w , где M(w) не зависает — у этого множества есть название
: {{tick}} "Договоримся, что состояния в автомате МТ не существует (его роль может выполнять сток)," — щито? Что такое сток?
: {{tick}} "можно доказать по индукции, что если первая строка имеет вид", ну так доказать надо
: {{tick}} побольше интервики
: {{tick}} форматирование внутри теорем упоротое, какое-то полотно текста. Можно оформить правила преобразования как список, например и т.п.
: {{tick}} Вот эти вот left и right в док-ве основной теоремы совсем непонятны. Либо убрать их и написать понятнее, либо там же показать пример применения этих функций.
: {{tick}} пока все, но мне кажется, до хорошо читаемой статьи еще надо что-нибудь переписать
--[[Участник:Dgerasimov|Дмитрий Герасимов]] 12:15, 9 декабря 2012 (GST)
