Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
sav08:logic_and_automata_introduction [2008/05/14 10:13] vkuncak |
sav08:logic_and_automata_introduction [2008/05/14 11:05] vkuncak |
||
---|---|---|---|
Line 21: | Line 21: | ||
\] | \] | ||
++++| | ++++| | ||
- | Add 6k to solution, we obtain a solution. | + | Add 6k to solution, we obtain a solution. \\ |
- | Find solutions in set $\{0,1,2,3,4,5\}$ | + | Find solutions in set $\{0,1,2,3,4,5\}$. \\ |
- | Resulting relation for $F(z)$ is $\{ 6k + 5 \mid k \in \mathbb{Z} \}$ | + | Resulting relation for $F(z)$ is $\{ 6k + 5 \mid k \in \mathbb{Z} \}$. \\ |
+ | |||
+ | Representation as quantifier-free formula. \\ | ||
+ | |||
+ | Representation as a regular language. | ||
++++ | ++++ | ||