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