• 简体: 形式语义学[信息科技]
  • 正體: 形式語意[計算機]
  • 正體: 形式語意[電子計算機]