add kDNF.hs
Delete prueba.hs
Merge branch 'master' of https://github.com/ancalotoru/Automatas