Pro potřeby následující kapitoly ocitujeme formální definici sémantiky uvedenou v [], nejprve zavedeme označení:
