141
правка
Изменения
"Написал довольно строгое доказательство замкнутости замыкания Клини. Остальные очень простые, смысла их расписывать не вижу."
*** Свойство 1 кажется мне очевидным (если мы знаем тот факт, что сумма и произведение полиномов есть полином). Свойства 2 и 3 доказаны по ссылкам на соответствующие сведения (там есть конкретно рассмотрение этих сведений для задач из класса <tex>P</tex>).
**** Мне свойство 1 очевидным не кажется. Особенно какое-нибудь замыкание Клини. Но это несложные факты, поэтому я не прошу полное доказательство.
***** Написал довольно строгое доказательство замкнутости замыкания Клини. Остальные очень простые, смысла их расписывать не вижу.
** Ссылка на определение констекстно-свободных языков в формулировке соответствующей теоремы.
*** Сделал. Заодно и на регулярные языки тоже сделал ссылку.
