Arithmetic Automata

Signed-off-by: Guillermo Hernandez <0w3w4u@gmail.com>