形式意味言語

【けいしきいみげんご】

形式意味言語

读成： けいしきいみげんご
中文： 形式语意语言、形式语义语言