Sisällysluettelo:
Määritelmä - mitä denotational Semantics tarkoittaa?
Tietotekniikassa denataatio-semantiikka on lähestymistapa matemaattisen merkityksen tarjoamiseen järjestelmille ja ohjelmointikieleille. Toisin sanoen denataatio-semantiikka on muodollinen tekniikka ilmaista ohjelmointikielen semanttinen määritelmä.
Christopher Stracheyn 1960-luvulla Oxfordin yliopistossa kehittämä ohjelmointitutkimusryhmä kehitti metodologisen eleganssin ja matemaattisen kurinalaisuuden. Vaikka denataatiota semantiikkaa on alun perin suunniteltu analysointityökaluksi, sitä on käytetty välineenä toteutuksen ja kielen suunnittelussa.
Techopedia selittää denotaation semantiikan
Denotationaalisessa semantiikassa perusidea on kartoittaa jokainen ohjelmointikieleen liittyvä syntaattinen kokonaisuus jonkinlaiseen matemaattiseen kokonaisuuteen, kääntämällä ohjelmointikielirakenteet matemaattisiksi objekteiksi.
Denotaation semanttisessa määritelmässä on viisi osaa:
- Semanttiset yhtälöt
- Syntaktiset luokat
- Semanttiset toiminnot
- Backus-normaalimuoto (BNF), joka määrittelee syntaktiisten luokkien rakenteen
- Arvoalueet
Denatational semantiikka on kehitetty nykyaikaisille kielille, joilla on piirteitä, kuten poikkeukset ja samanaikaisuus. Yksi merkityksellisistä semantiikan piirteistä on semantiikan olevan koostumuksellista, mikä tarkoittaa, että ohjelmointilauseen merkitseminen voidaan rakentaa sen alalauseiden merkinnöistä.
Denatationaliseen semantiikkaan liittyy tiettyjä etuja. Se on helpoin mekanismi pienten ohjelmien merkityksen kuvaamiseksi muihin vaihtoehtoihin verrattuna. Denotatiivinen semantiikka pystyy selittämään tilan ohjelmissa. Denotationistinen semantiikka on kuitenkin yleensä erittäin monimutkaista kuvaamaan edistyneitä ominaisuuksia, kuten goto-lauseita ja rekursioita.
