Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

strings_and_languages [2012/09/19 16:55]
vkuncak
strings_and_languages [2015/04/21 17:32] (current)
Line 36: Line 36:
  
 Observe that 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    ​\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$. Similarly, $L \cdot \emptyset = \emptyset$.
  
-Of course, $\{ w_1 \} \cdot \{ w_2 \} = w_1\cdot w_2$.+Also directly from definition follows: 
 +\begin{equation*} 
 +  ​\{ w_1 \} \cdot \{ w_2 \} = \{ w_1\cdot w_2 \} 
 +\end{equation*} 
  
 
strings_and_languages.txt · Last modified: 2015/04/21 17:32 (external edit)