1250463768

napisy (składnia) służą do notowania znaczeń, zadaniem funkcji semantyki języka formalnego jest przypisanie każdemu elementowi składniowemu (napisowi) znaczenia z pewnej dziedziny znaczeń'.

znaczeniem napisu (2+3)*4 nad alfabetem A_n = {0,1,...,9}u A₀ ={+, * }u{ (,)} jest 20 o ile

D = {1^ 2, 3, ...} jest zbiorem wartości (liczb) naturalnych,

F = {plus, times} jest zbiorem funkcji (dodawania i mnożenia), val_n : A_n -> D

val_Q : A₀ F, val₀(+)= plus. val₀(*)= times

value : (A_n u A₀ u{ (,)})* —> D (dla napisów poprawnych składniowo)