Apuntes Autlen actualizados al 2/11/2014, incorpora el autómata visto el último día en clase