Enviar registro por correo electrónico: Input/ output autómatas como lenguaje de definición de arquitecturas /