语义代码是一种抽象的意义表征，具有（）的形式。