Differences

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

--- sav08:logic_and_automata_introduction [2008/05/14 10:13]
vkuncak
+++ sav08:logic_and_automata_introduction [2008/05/14 11:06]
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{N} \}$. \\
+Representation as quantifier-free formula. \\
+Representation as a regular language.
 ++++