141
правка
Изменения
→Свойства класса P: Ещё свойства
==Свойства класса <tex>P</tex>==
# Замкнутость относительно дополненийобъединения, пересечения, конкатенации, замыкания Клини и дополнения. Если <tex> L L_1, L_2 \in P </tex>, то: <tex>L1 \Rightarrow cup L2 \in P</tex>, <tex>L1 \cap L2 \in P</tex>, <tex>L1L2 \in P</tex>, <tex>L1^* \in P</tex> и <tex>\overline L {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>.
