denotatsioonisemantika 1(n), denotatsioonsemantika 1(n)

loomuliku semantika abstraktsusastmega semantiline funktsioon, mis kujutab endast homomorfismi süntaktilisest algebrast semantilisse algebrasse