These transformation rules can be viewed as an equational theory or as an operational definition.
這些轉換規則被看作是一個等式理論或者一個操作定義。