operational semantics

Из Википедии, свободной энциклопедии