Describir: Input/ output autómatas como lenguaje de definición de arquitecturas /