Minor stuff.
authorEugen Sawin <sawine@me73.com>
Tue, 14 Jun 2011 01:36:04 +0200
changeset 10ac847263ce98
parent 9 b838b37dfcc1
child 11 78929f746a5c
Minor stuff.
paper/src/paper.tex
     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