Además, tal conceptualización debe estar expresada en un lenguaje formal para que pueda ser procesada por una computadora.