Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Классы 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
правки
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы