Código en python que permite simular un autómata finito determinista