1. Operational semantics, in which the meaning of a system is expressed as a sequence of actions of a (presumably) simpler computational model.

Ngữ nghĩ hoạt động (Operational semantics), trong đó, ý nghĩa của một hệ thống được biểu diễn bằng một chuỗi các hành động của một mô hình tính toán (giả thiết là) đơn giản hơn.