Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset
Semantiikka on karkeasti ottaen kaikki se kielestä, mihin syntaksi ei ota kantaa. Syntaksi varmistaa, että kielen ilmaukset (lause, lauseke) ovat ylipäänsä olemassaolevia ilmauksia; semantiikka määrittää, mitä ne merkitsevät.
Kun ilmauksen tulkitsija on ihminen, ilmauksen merkitys on ympäripyöreästi sanoen se, mitä ihminen ymmärtää ilmauksesta. Tietokoneen ollessa tulkitsijana semantiikka ymmärretään kapeammin (koska koneet eivät ymmärrä mitään): ohjelmointikielen ilmauksen semantiikka on määritys siitä, mitä kone tekee, kun sille annetaan kyseinen ilmaus.
Esimerkiksi Python-kielen ilmauksen (lausekkeen) 3 + 5 semantiikka on se, että kone laskee yhteen 3 ja 5. (Se, mitä tuloksella 8 tehdään, riippuu siitä, missä kontekstissa tämä ilmaus ilmenee.) Python-kielen lauseen print x, missä x on mikä tahansa lauseke, semantiikka on näyttää käyttäjälle lausekkeen x semanttinen arvo.
(takaisin ohjelmoinnin käsitteet-sivulle)