https://nerc.itmo.ru/wiki/index.php?action=history&feed=atom&title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5%3A%D0%9F%D1%80%D0%B8%D0%BC%D0%B5%D1%80%D1%8B_%D0%BD%D0%B5%D1%80%D0%B0%D0%B7%D1%80%D0%B5%D1%88%D0%B8%D0%BC%D1%8B%D1%85_%D0%B7%D0%B0%D0%B4%D0%B0%D1%87%3A_%D0%BF%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D0%B0_%D1%81%D0%BE%D0%BE%D1%82%D0%B2%D0%B5%D1%82%D1%81%D1%82%D0%B2%D0%B8%D0%B9_%D0%9F%D0%BE%D1%81%D1%82%D0%B0Обсуждение:Примеры неразрешимых задач: проблема соответствий Поста - История изменений2026-09-15T14:18:29ZИстория изменений этой страницы в викиMediaWiki 1.30.0https://nerc.itmo.ru/wiki/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%9F%D1%80%D0%B8%D0%BC%D0%B5%D1%80%D1%8B_%D0%BD%D0%B5%D1%80%D0%B0%D0%B7%D1%80%D0%B5%D1%88%D0%B8%D0%BC%D1%8B%D1%85_%D0%B7%D0%B0%D0%B4%D0%B0%D1%87:_%D0%BF%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D0%B0_%D1%81%D0%BE%D0%BE%D1%82%D0%B2%D0%B5%D1%82%D1%81%D1%82%D0%B2%D0%B8%D0%B9_%D0%9F%D0%BE%D1%81%D1%82%D0%B0&diff=27419&oldid=prevDgerasimov: Новая страница: «: {{tick}} англоязычные термины : {{tick}} англоязычные источники, в частности, википедия : {{tick}} В...»2012-12-09T08:15:24Z<p>Новая страница: «: {{tick}} англоязычные термины : {{tick}} англоязычные источники, в частности, википедия : {{tick}} В...»</p>
<p><b>Новая страница</b></p><div>: {{tick}} англоязычные термины<br />
: {{tick}} англоязычные источники, в частности, википедия<br />
: {{tick}} Выполним m-сведение множества пар из машины Тьюринга (МТ) и строки w , где M(w) не зависает — у этого множества есть название<br />
: {{tick}} "Договоримся, что состояния в автомате МТ не существует (его роль может выполнять сток)," — щито? Что такое сток?<br />
: {{tick}} "можно доказать по индукции, что если первая строка имеет вид", ну так доказать надо<br />
: {{tick}} побольше интервики<br />
: {{tick}} форматирование внутри теорем упоротое, какое-то полотно текста. Можно оформить правила преобразования как список, например и т.п.<br />
: {{tick}} Вот эти вот left и right в док-ве основной теоремы совсем непонятны. Либо убрать их и написать понятнее, либо там же показать пример применения этих функций.<br />
: {{tick}} пока все, но мне кажется, до хорошо читаемой статьи еще надо что-нибудь переписать<br />
--[[Участник:Dgerasimov|Дмитрий Герасимов]] 12:15, 9 декабря 2012 (GST)</div>Dgerasimov