94
правки
Изменения
Нет описания правки
<tex>\Pi_i \subset \Pi_{i+1}</tex><br>
<tex>\Sigma_i \subset \Pi_{i+1}</tex>
==Связь языков из <math>\Sigma_i</math> и <math>\Pi_i</math>==
===Утверждение===
Если <tex>L \in \Sigma_i</tex>, то <tex>\overline{L} \in \Pi_i</tex>.
===Доказательство===