141
правка
Изменения
м
Ссылка вела не туда
# Замкнутость объединения, пересечения, конкатенации, замыкания Клини и дополнения. Если <tex>L_1, L_2 \in P</tex>, то: <tex>L1 \cup L2 \in P</tex>, <tex>L1 \cap L2 \in P</tex>, <tex>L1L2 \in P</tex>, <tex>L1^* \in P</tex> и <tex>\overline{L1} \in P</tex>.
# Замкнутость относительно [[Сведение по Карпу|сведения по Карпу]]. <tex> L \in P , M \le L \Rightarrow M \in P</tex>
# Замкнутость относительно [[Сведение по КарпуКуку|сведения по Куку]]. <tex>L \subset P \Rightarrow P=P^L</tex>. ==
==Примеры задач и языков из <tex>P</tex>==
