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:definition_of_presburger_arithmetic [2008/04/15 20:13] vkuncak |
sav08:definition_of_presburger_arithmetic [2008/04/15 20:15] vkuncak |
||
---|---|---|---|
Line 19: | Line 19: | ||
The resulting language | The resulting language | ||
\[ | \[ | ||
- | L = \{ +, -, < \} \cup \{ K \mid K \in \mathbb{Z}\} \cup \{ K \cdot {} \mid K \in \mathbb{Z} \} \cup $\{ {K|} \mid K \in \mathbb{Z} \} | + | L = \{ +, -, < \} \cup \{ K \mid K \in \mathbb{Z}\} \cup \{ (K \cdot \_) \mid K \in \mathbb{Z} \} \cup \{ (K|\_) \mid K \in \mathbb{Z} \} |
\] | \] | ||