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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Язык и множество языков: Новая тема)
Строка 2: Строка 2:
 
*# Во втором пункте второй части доказательства: думаю, что <tex>L_{1}</tex> и <tex>L_{2}</tex> должны лежать всё-таки в <tex>Reg'</tex>. И вообще, эта строчка читается ну оооочень тяжело: много формул, и все они сливаются;
 
*# Во втором пункте второй части доказательства: думаю, что <tex>L_{1}</tex> и <tex>L_{2}</tex> должны лежать всё-таки в <tex>Reg'</tex>. И вообще, эта строчка читается ну оооочень тяжело: много формул, и все они сливаются;
 
*# А ещё не указана литература.    [[Участник:Leugenea|Евгений Лукьянец]]
 
*# А ещё не указана литература.    [[Участник:Leugenea|Евгений Лукьянец]]
 +
 +
== Язык и множество языков ==
 +
 +
Как-то тут отождествлены эти понятия, что не очень хорошо.
 +
А еще большая буква после двоеточия в первом определении.
 +
--[[Участник: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)