[finishes #73604230] Añade autómatas dot.