Added module line to Automata.hs
Changed accessor names to avoid conflicts
Fixed error in variable name
Added copyright notice and license