1679
правок
Изменения
Нет описания правки
#* <tex>L \setminus M</tex> {{---}} разность,
#* <tex>\overline{L}=\Sigma^* \setminus L</tex> {{---}} дополнение.
#Конкатенация: <tex>LM=\left\{\alpha\beta|\alpha \in L, \beta \in M\right\}</tex>.#Конкатенация с обратным языком: <tex>LR^{-1} = \{ w \mid \exists y \in R : wy \in L\}</tex>; конкатенация с обратным словом: <tex>Ly^{-1} = L\{y\}^{-1}, y \in \Sigma^*</tex>.#Степень языка: <tex>L^k=\begin{cases}
\{\varepsilon\}, k = 0\\
LL^{k-1}, k > 0.
\end{cases}
</tex>
#Замыкание Клини: <tex>L^*=\bigcup\limits_{i=0}^{\infty}L^i</tex>.# [[#Гомоморфизм языков| Гомоморфизм]]
=== Примеры ===
* <tex>\{\mathrm{ab, ba, bba, abab, aa}\}a^{-1} = \{\mathrm{b, bb, a}\}</tex>.
{{Определение
