Изменения

Перейти к: навигация, поиск

Классы Sigma i и Pi i

51 байт добавлено, 23:15, 8 апреля 2010
Нет описания правки
==Связь языков из <math>\Sigma_i</math> и <math>\Pi_i</math>==
===Утверждение===Если <tex>L \in \Sigma_i</tex>, то <tex>\overline{L} \in \Pi_i</tex>.===Доказательство===очевидно из определения <tex>\Sigma_i</tex> и <tex>\Pi_i</tex>.
Andrey Danilchenko
94
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/738»

Навигация