computational semantics 中文意思是什麼

computational semantics 解釋
計算語意學
  1. Computational lexical semantics

    計算詞匯語意學
  2. ( 3 ) discusses the formal specifications for hardware formal design and presents the formal model of fcmhd ( formal computational model for hardware design ) and its formal semantics based on itl ( interval temporal logic )

    作者以時段演算( durationcalculus , dc )為工具對vhdl的子集進行了形式語義分析;通過分析vhdl和veriloghdl部分語句的形式語義,為硬體描述語言的分析、設計、編譯提供了一個嚴格的理論基礎和新的途徑。
分享友人