更新时间:-- | 阅读量: 71
指称语义(学) 形式语义学的一个分支。该分支认为语言成分的语义是执行该语言成分时由该...给出语法域到语义域映射的类型的函数称为语义函数（semantic function）。除此之外，指称语义学还包括描述形式语言语法结构的抽象语法和给出 ...
搜索到与“ 指称语义”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
