editor
177
правок
Изменения
м
Вторая волна todo
** Ссылка на определение DTIME.
*** Очень долго думал, как её туда запилить... Так и не смог ничего разумного придумать. Нужен совет.
**** Я добавил ссылку. Не самый хороший костыль, конечно. Я ещё подумаю над этим.
** Что за <tex>L1</tex>. Проиндексируй нормально. А ещё там во второй строчке текст абсолютно сливается. Исправь.
*** Проиндексировал. А во второй строчке у меня всё в порядке... Либо я не понял, о чём ты.
**** Да, там всё теперь норм.
** Было бы неплохо написать хоть какие-нибудь идеи по поводу доказатеств свойств.
*** Свойство 1 кажется мне очевидным (если мы знаем тот факт, что сумма и произведение полиномов есть полином). Свойства 2 и 3 доказаны по ссылкам на соответствующие сведения (там есть конкретно рассмотрение этих сведений для задач из класса <tex>P</tex>).
**** Мне свойство 1 очевидным не кажется. Особенно какое-нибудь замыкание Клини. Но это несложные факты, поэтому я не прошу полное доказательство.
** Ссылка на определение констекстно-свободных языков в формулировке соответствующей теоремы.
*** Сделал. Заодно и на регулярные языки тоже сделал ссылку.
