Practica Teoria de lenguajes, automatas finitos deterministicos