108
правок
Изменения
Новая страница: «{{Определение |definition = <tex>\Sigma_{i}</tex> {{---}} <tex>\{L|\exists R(x, y_{1},\cdots,y_{i}) \in P, p - poly : \forall x \in L \Leftrightarrow \...»
{{Определение
|definition =
<tex>\Sigma_{i}</tex> {{---}} <tex>\{L|\exists R(x, y_{1},\cdots,y_{i}) \in P, p - poly : \forall x \in L \Leftrightarrow \exists y_{1} \forall y_{2} \exists y_{3} \cdots Q y_{i} \},</tex> где <tex>L</tex> - формальный язык <tex>,Q = \exists</tex> для <tex>i = 2k - 1,</tex> <tex>Q = \forall</tex> для <tex>i = 2k</tex>.
}}
{{Определение
|definition =
<tex>\Pi_{i}</tex> {{---}} <tex>\{L|\exists R(x, y_{1},\cdots,y_{i}) \in P, p - poly : \forall x \in L \Leftrightarrow \forall y_{1} \exists y_{2} \forall y_{3} \cdots Q y_{i} \},</tex> где <tex>L</tex> - формальный язык <tex>,Q = \forall</tex> для <tex>i = 2k - 1,</tex> <tex>Q = \exists</tex> для <tex>i = 2k</tex>.
}}
|definition =
<tex>\Sigma_{i}</tex> {{---}} <tex>\{L|\exists R(x, y_{1},\cdots,y_{i}) \in P, p - poly : \forall x \in L \Leftrightarrow \exists y_{1} \forall y_{2} \exists y_{3} \cdots Q y_{i} \},</tex> где <tex>L</tex> - формальный язык <tex>,Q = \exists</tex> для <tex>i = 2k - 1,</tex> <tex>Q = \forall</tex> для <tex>i = 2k</tex>.
}}
{{Определение
|definition =
<tex>\Pi_{i}</tex> {{---}} <tex>\{L|\exists R(x, y_{1},\cdots,y_{i}) \in P, p - poly : \forall x \in L \Leftrightarrow \forall y_{1} \exists y_{2} \forall y_{3} \cdots Q y_{i} \},</tex> где <tex>L</tex> - формальный язык <tex>,Q = \forall</tex> для <tex>i = 2k - 1,</tex> <tex>Q = \exists</tex> для <tex>i = 2k</tex>.
}}
