formaliżżazióne

formalizzazione

formaliżżazióne s. f. [der. di formalizzare]. – L’atto, l’operazione, il procedimento di formalizzare, nelle varie accezioni: f. di un’istruttoria, in procedura penale; f. del linguaggio, dei dati di un messaggio, in logica e nell’informatica; f. di una teoria, in matematica, l’operazione di formalizzare la teoria, e anche il sistema formale ottenuto formalizzando la teoria.