Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:logic_and_automata_introduction [2008/05/14 10:14] vkuncak |
sav08:logic_and_automata_introduction [2008/05/14 11:05] vkuncak |
||
|---|---|---|---|
| Line 25: | Line 25: | ||
| 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. | ||
| ++++ | ++++ | ||