Differences

This shows you the differences between two versions of the page.

--- strings_and_languages [2009/04/28 20:39]
vkuncak
+++ strings_and_languages [2019/07/02 16:16]
fabien [Strings and languages]
@@ Line 32: / Line 32: @@
   L^* &=& \bigcup_{n \geq 0} L^n = \{ w_1 \ldots w_n \mid w_1,\ldots,w_n \in L \}
 \end{eqnarray*}
+==== Simple Consequences ====
+Observe that
+\begin{equation*}
+   \emptyset \cdot L = \{ s_1 \cdot s_2 \mid s_1 \in \emptyset \land s_2 \in L \} = \{s_1 \cdot s_2 \mid \mbox{false} \} = \emptyset
+\end{equation*}
+Similarly, $L \cdot \emptyset = \emptyset$.
+Also directly from definition follows:
+\begin{equation*}
+  \{ w_1 \} \cdot \{ w_2 \} = \{ w_1\cdot w_2 \}
+\end{equation*}