Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
strings_and_languages [2019/07/02 16:16] fabien [Simple Consequences] |
strings_and_languages [2019/07/02 16:16] (current) fabien [Strings and languages] |
||
---|---|---|---|
Line 43: | Line 43: | ||
Also directly from definition follows: | Also directly from definition follows: | ||
\begin{equation*} | \begin{equation*} | ||
- | \{ w_991 \} \cdot \{ w_2 \} = \{ w_1\cdot w_2 \} | + | \{ w_1 \} \cdot \{ w_2 \} = \{ w_1\cdot w_2 \} |
\end{equation*} | \end{equation*} | ||