formal language
柯林斯詞典
1. N a language designed for use in situations in which natural language is unsuitable, as for example in mathematics, logic, or computer programming. The symbols and formulas of such languages stand in precisely specified syntactic and semantic relations to one another 形式語(yǔ)言; 用精確的數(shù)學(xué)或機(jī)器可処理的公式定義的語(yǔ)言
返回 formal language