formalisaatioita
Formalisaatio on prosessi, jossa epäselvät tai luonnolliseen kieleen pohjaavat käsitteet muutetaan tarkasti määriteltyyn formalismiin. Formalisaatioita käytetään monilla tieteenaloilla, jotta ajatukset voidaan esittää yksiselitteisesti, testata kriittisesti ja toteuttaa tietokoneavusteisesti. Nimityksen "formalisaatioita" viittaa useampiin tällaisiin formalisoituihin esityksiin tai malleihin.
Prosessi sisältää usein: käsitteiden tunnistamisen ja abstraktioiden tekemisen, valitun muodollisen kielen tai logiikan valinnan, syntaksin ja
Formalisaatioita on yleisesti matematiikassa (esim. joukkoteoria tai lukuteorian formalisointi), tietojenkäsittelytieteissä (ohjelmointikielet, spesifikaatiokielet kuten Z tai B-metodit),
Formalisaatioiden etuja ovat parempi tarkkuus, toistettavuus ja kyky automaattiseen tarkastukseen; ne voivat vähentää tulkintaan liittyviä virheitä.