Epäliukoinenmerkitinnät

Epäliukoinenmerkitinnät on käsite, jota käytetään kuvaamaan määrien edustamista ja laskentaa ilman liukulukuesitystä eli floating point -muotoa. Käytännössä siihen liittyy erilaiset täsmälliset notaatio- ja esitystavat, kuten kiinteäarvoiset luvut, rationaaliluvut sekä symboliset tai algebraaliset merkitinnät, jotka mahdollistavat luvun täsmällisen arvon säilyttämisen ilman pyöristystä.

Kiinteäarvoinen (fixed-point) esitys pitää luvun arvojen desimaalin määrän kiinteänä, mikä helpottaa tarkkaa laskentaa ja vähentää pyöristysvirheitä. Rationaaliluvut esittävät luvun murtolukuna p/q, mikä tarjoaa täysin eksaktin arvon. Symboliset merkitinnät voivat puolestaan ilmentää luvut ja operaatioita muodossa, jota laskentajärjestelmä käsittelee täsmällisesti, esimerkiksi algebraiset luvut tai merkkijonoihin perustuvat esitykset. Yhdessä nämä muodot kuuluvat epäliukainen merkitinnät -perheeseen.

Käyttökohteet ovat talouslaskelmat ja finanssijärjestelmät, joissa vaaditaan tarkkaa aritmetiikkaa, sekä ohjelmistot ja järjestelmät, joissa pyöristysvirheitä on vältettävä. Formaaleissa laskenta- ja todistusjärjestelmissä eksakti aritmetiikka on välttämätöntä, ja epäliukainen merkitinnät korostaa tätä tarvetta.

Etuna on virheiden välttäminen ja toistettavuus, haittoina rajoitettu luvun laajuus, suurempi muistivaatimus ja mahdollinen suorituskyvyn kapeampi skaalaus verrattuna liukulukuun. Termi ei välttämättä ole vakiintunut standardi, mutta se kuvaa laajaa periaatetta: käyttää eksakteja arvoja liukulukujen sijaan silloin, kun se on mahdollista.