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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Язык и множество языков: Новая тема)
Строка 7: Строка 7:
 
Как-то тут отождествлены эти понятия, что не очень хорошо.
 
Как-то тут отождествлены эти понятия, что не очень хорошо.
 
А еще большая буква после двоеточия в первом определении.
 
А еще большая буква после двоеточия в первом определении.
 +
Так-то я умный ^^
 
--[[Участник:Roman Kolganov|Roman Kolganov]] 08:21, 11 ноября 2011 (MSK)
 
--[[Участник:Roman Kolganov|Roman Kolganov]] 08:21, 11 ноября 2011 (MSK)

Версия 08:21, 11 ноября 2011

    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)