Обсуждение:Теорема о рекурсии — различия между версиями
Tsar (обсуждение | вклад) (Комментарий мой) |
|||
| Строка 1: | Строка 1: | ||
| − | + | : {{tick}} во-первых, теоремы именные, соответственно надо эти имена вписать (русские и английские) | |
| − | + | : {{tick}} дать ссылки на английские источники и термины | |
| − | + | : {{tick}} у меня такое ощущение, что эта версия программы, использующей свой код неправильно будет работать когда мы попытаемся что-нибудь экранировать. Надо либо показать, где мы экранируем, либо написать версию, которая была на паре (с символом $). Да, надо написать версию с $, чтобы показать, что getOtherSrc можно написать в любом месте программы, а не только в конце. | |
| − | + | : {{tick}} следующая теорема о рекурсии во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить и + у нее есть простое доказательство в Sipser'е, надо его добавить. | |
| − | + | : {{tick}} пока все, может еще что обнаружится | |
| − | + | --[[Участник:Dgerasimov|Дмитрий Герасимов]] 11:58, 5 декабря 2012 (GST) | |
| − | |||
| − | |||
Версия 10:58, 5 декабря 2012
- ☐ во-первых, теоремы именные, соответственно надо эти имена вписать (русские и английские)
- ☐ дать ссылки на английские источники и термины
- ☐ у меня такое ощущение, что эта версия программы, использующей свой код неправильно будет работать когда мы попытаемся что-нибудь экранировать. Надо либо показать, где мы экранируем, либо написать версию, которая была на паре (с символом $). Да, надо написать версию с $, чтобы показать, что getOtherSrc можно написать в любом месте программы, а не только в конце.
- ☐ следующая теорема о рекурсии во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить и + у нее есть простое доказательство в Sipser'е, надо его добавить.
- ☐ пока все, может еще что обнаружится
--Дмитрий Герасимов 11:58, 5 декабря 2012 (GST)
