Обсуждение:Теорема о рекурсии

☐ во-первых, теоремы именные, соответственно надо эти имена вписать (русские и английские)

☐ дать ссылки на английские источники и термины

☐ у меня такое ощущение, что эта версия программы, использующей свой код неправильно будет работать когда мы попытаемся что-нибудь экранировать. Надо либо показать, где мы экранируем, либо написать версию, которая была на паре (с символом $). Да, надо написать версию с $, чтобы показать, что getOtherSrc можно написать в любом месте программы, а не только в конце.

☐ следующая теорема о рекурсии во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить и + у нее есть простое доказательство в Sipser'е, надо его добавить.

☐ пока все, может еще что обнаружится

--Дмитрий Герасимов 11:59, 5 декабря 2012 (GST)