A2.-FORMALIZACIÓN-DEL-SISTEMA