computational semantics 中文意思是什麼
computational semantics
解釋
計算語意學- computational : adj. 計算的。
- semantics : n. 1. 【語言學】語義學。2. 【哲學】語義哲學;語義學派。
-
Computational lexical semantics
計算詞匯語意學 -
( 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部分語句的形式語義,為硬體描述語言的分析、設計、編譯提供了一個嚴格的理論基礎和新的途徑。
分享友人