Para ello usa un lenguaje formalizado constituido como cálculo.