Обсуждение:Регулярные языки: два определения и их эквивалентность — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Язык и множество языков: Новая тема)
 
(не показаны 2 промежуточные версии 1 участника)
Строка 8: Строка 8:
 
А еще большая буква после двоеточия в первом определении.
 
А еще большая буква после двоеточия в первом определении.
 
--[[Участник:Roman Kolganov|Roman Kolganov]] 08:21, 11 ноября 2011 (MSK)
 
--[[Участник:Roman Kolganov|Roman Kolganov]] 08:21, 11 ноября 2011 (MSK)
 +
 +
== Оформление ==
 +
Я в очередной раз посмотрел на эту статью и меня в очередной раз тошнит от её оформления (и от определений и от доказательства). Я не знаю, что с этим делать (но в последней ревизии точно стало только хуже). [[Участник:Kirelagin|Кирилл Елагин]] 10:51, 17 января 2012 (MSK)

Текущая версия на 10:51, 17 января 2012

    1. В доказательстве теоремы некоторые символы (типа [math]\forall[/math] и [math]\Rightarrow[/math]) лучше заменить словами, тогда читаться будет легче (это относится в большей степени ко второй части доказательства);
    2. Во втором пункте второй части доказательства: думаю, что [math]L_{1}[/math] и [math]L_{2}[/math] должны лежать всё-таки в [math]Reg'[/math]. И вообще, эта строчка читается ну оооочень тяжело: много формул, и все они сливаются;
    3. А ещё не указана литература. Евгений Лукьянец

Язык и множество языков

Как-то тут отождествлены эти понятия, что не очень хорошо. А еще большая буква после двоеточия в первом определении. --Roman Kolganov 08:21, 11 ноября 2011 (MSK)

Оформление

Я в очередной раз посмотрел на эту статью и меня в очередной раз тошнит от её оформления (и от определений и от доказательства). Я не знаю, что с этим делать (но в последней ревизии точно стало только хуже). Кирилл Елагин 10:51, 17 января 2012 (MSK)