|
|
| Строка 1: |
Строка 1: |
| − | === ToDo ===
| + | : {{tick}} добавить английские термины |
| − | Первое предложение… мм… *FACEPALM*. А ещё это определение.<br>
| + | : {{tick}} добавить всякое интервики |
| − | Второе определение {{---}} тоже определение, а не просто текст.<br>
| + | : {{tick}} добавить ссылок на русские и английские источники |
| − | Пример существенно неоднозначного языка надо оформить как пример.<br>
| + | : {{tick}} упомянуть то, что проверка грамматики на неоднозначность неразрешима и добавить ссылку на это. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 22:20, 7 декабря 2012 (GST) |
| − | «Пометим первые k нулей…» во-первых, «<tex>k</tex>», во-вторых нехорошо как-то сначала выделять, а потом говорить, какую теорему используем. Может, написать что-нибудь вроде «В условии леммы Огдена» или похожее, подумай по этому поводу.<br>
| |
| − | Обозначение <tex>uvxwz</tex> немного странное {{---}} обычно мы используем <tex>uvxyz</tex>, а <tex>w</tex> {{---}} это наше слово, но это некритично.<br>
| |
| − | У тебя адовая путаница с обозначениями: мы должны «накачивать» за счёт <tex>v</tex> и <tex>w</tex>.<br>
| |
| − | Я уж не говорю про неоконченное равенство при обозначении <tex>q</tex> и какие-то «<tex>tex</tex>» в тексте. А ещё рисунки нелепые и некрасивые: текст жирный и большой, картинка кривая, и смотреть на неё вообще не хочется. Я даже до конца не смог дочитать.<br>
| |
| − | Работы куча. Правь. Когда решишь, что конспект достоин проверки {{---}} пиши, потому что сейчас это какая-то непонятная фигня.
| |
| − | [[Участник:Leugenea|Евгений Лукьянец]] | |
| − | | |
| − | === ToDo 2 ===
| |
| − | Снова. Первое определение {{---}} это определение. И следующее определение {{---}} тоже определение. о_0 И вообще первое определение странное: насколько я понимаю, грамматика никого не порождает, есть слова, которые можно вывести в этой грамматике.<br>
| |
| − | Второй пример {{---}} тоже пример. И его надо оформить соответствующе.<br>
| |
| − | Цитата из предыдущего <b>TODO</b>: «во-вторых нехорошо как-то сначала выделять, а потом говорить, какую теорему используем». Это по поводу леммы Огдена. И это надо фиксить.
| |
| − | [[Участник:Leugenea|Евгений Лукьянец]]
| |
