1.1 --- a/paper/src/paper.tex Wed Jun 01 18:53:27 2011 +0200
1.2 +++ b/paper/src/paper.tex Tue Jun 14 01:36:04 2011 +0200
1.3 @@ -96,11 +96,13 @@
1.4 \end{def:regular languages}
1.5
1.6 \begin{def:regular languages closure}
1.7 -Let $L_{R_1}, L_{R_2} \in \Sigma$ be regular. The class of regular languages is closed under following operations:
1.8 +Let $L_{R_1}, L_{R_2} \in \Sigma^*$ be regular. The class of regular languages is closed under following operations:
1.9 \begin{itemize}
1.10 \item $L_{R_1}^*$
1.11 \item $L_{R_1} \circ L_{R_2}$
1.12 \item $L_{R_1} \cup L_{R_2}$
1.13 +\item $L_{R_1} \cap L_{R_2}$
1.14 +\item $\overline{L}_{R_1}$ and therefore $L_{R_1} - L_{R_2}$
1.15 \end{itemize}
1.16 \end{def:regular languages closure}
1.17