Automata and Formal Languages: Examples

Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.

Presburger arithmetic

A DFA accepting the solutions of the inequality x+y => 4: PDF
A DFA accepting the solutions of the inequality 2x-y <= 2: PDF
The intersection of the previous automata, accepting solutions to both inequalities: PDF