17. Динамическая семантика языков. Операционная семантика большого и малого шага.

Динамическая семантика языков. Операционная семантика большого и малого шага.