comp/language: update

Author: soimort

comp/language/index.html

@@ -51,7 +51,7 @@ <h1 class="title">Basic Formal Language Theory</h1>
 <p><strong>Example.</strong> <span class="math inline">\(\{\texttt{0}, \texttt{1}\}^8\)</span> is the language of all 8-bit binary strings.</p>
 <p><strong>Definition 4. (Union)</strong> The <em>union</em> of two languages <span class="math inline">\(L_1\)</span> and <span class="math inline">\(L_2\)</span> is the language <span class="math display">\[L_1 \cup L_2 = \{ w\ |\ w \in L_1 \lor w \in L_2 \}\]</span></p>
 <p><strong>Definition 5. (Intersection)</strong> The <em>intersection</em> of two languages <span class="math inline">\(L_1\)</span> and <span class="math inline">\(L_2\)</span> is the language <span class="math display">\[L_1 \cap L_2 = \{ w\ |\ w \in L_1 \land w \in L_2 \}\]</span></p>
-<p><strong>Definition 6. (Complement)</strong> The <em>complement</em> of a language <span class="math inline">\(L\)</span> over <span class="math inline">\(\Sigma\)</span> is the language <span class="math display">\[\overline{L} = \Sigma^* \setminus L\]</span></p>
+<p><strong>Definition 6. (Complementation)</strong> The <em>complement</em> of a language <span class="math inline">\(L\)</span> over <span class="math inline">\(\Sigma\)</span> is the language <span class="math display">\[\overline{L} = \Sigma^* \setminus L\]</span></p>
 <p><strong>Definition 7. (Concatenation)</strong> The <em>concatenation</em> of two languages <span class="math inline">\(L_1\)</span> and <span class="math inline">\(L_2\)</span> is the language <span class="math display">\[L_1 \circ L_2 = \{ w_1w_2\ |\ w_1 \in L_1 \land w_2 \in L_2 \}\]</span></p>
 <p>Additionally, we use <span class="math inline">\(L^k\)</span> to denote the language obtained by concatenating <span class="math inline">\(L\)</span> to itself <span class="math inline">\(k\)</span> times.</p>
 <p><strong>Definition 8. (Kleene star / Closure)</strong> The <em>Kleene star</em> or <em>closure</em> of a language <span class="math inline">\(L\)</span> is the language <span class="math display">\[L^* = \{\varepsilon\} \cup L \cup L^2 \cup L^3 \cup \cdots\]</span></p>

comp/language/src.md

@@ -33,7 +33,7 @@ $$L_1 \cup L_2 = \{ w\ |\ w \in L_1 \lor w \in L_2 \}$$
 **Definition 5. (Intersection)** The *intersection* of two languages $L_1$ and $L_2$ is the language
 $$L_1 \cap L_2 = \{ w\ |\ w \in L_1 \land w \in L_2 \}$$
 
-**Definition 6. (Complement)** The *complement* of a language $L$ over $\Sigma$ is the language
+**Definition 6. (Complementation)** The *complement* of a language $L$ over $\Sigma$ is the language
 $$\overline{L} = \Sigma^* \setminus L$$
 
 **Definition 7. (Concatenation)** The *concatenation* of two languages $L_1$ and $L_2$ is the language