Programa en python para manejo de Automatas Finitos