Processador de automatos finitos determinísticos em Python