Обсуждение:Существенно неоднозначные языки — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(ToDo2)
 
(не показана 1 промежуточная версия этого же участника)
Строка 1: Строка 1:
=== ToDo ===
+
: {{tick}} добавить английские термины
Первое предложение… мм… *FACEPALM*. А ещё это определение.<br>
+
: {{tick}} добавить всякое интервики
Второе определение {{---}} тоже определение, а не просто текст.<br>
+
: {{tick}} добавить ссылок на русские и английские источники
Пример существенно неоднозначного языка надо оформить как пример.<br>
+
: {{tick}} упомянуть то, что проверка грамматики на неоднозначность неразрешима и добавить ссылку на это. --[[Участник:Dgerasimov|Дмитрий Герасимов]] 22:21, 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|Евгений Лукьянец]]
 

Текущая версия на 21:21, 7 декабря 2012

добавить английские термины
добавить всякое интервики
добавить ссылок на русские и английские источники
упомянуть то, что проверка грамматики на неоднозначность неразрешима и добавить ссылку на это. --Дмитрий Герасимов 22:21, 7 декабря 2012 (GST)