Describir: Modelo de la máquina asíncrona saturada