Orðskýring
á ð é í ó ú ý þ æ ö (* = hvað sem er, ? = stakur stafur) (Nánar)
aðgerðarleg merkingarfræði
Merkingarfræði þar sem merkingu er lýst með því að lýsa aðgerðum1.
Enska: operational semantics
á ð é í ó ú ý þ æ ö (* = hvað sem er, ? = stakur stafur) (Nánar)