没有合适的资源?快使用搜索试试~ 我知道了~
我们可以将逻辑程序转换为属性语法吗?-研究论文
需积分: 5 0 下载量 60 浏览量
2021-05-20
10:34:22
上传
评论
收藏 7.64MB PDF 举报
温馨提示
试读
41页
在本文中,我们研究了属性语法与逻辑程序之间的关系,着重于将逻辑程序转换为属性语法。 这在逻辑程序的编译技术中具有潜在的应用程序。 似乎不可能将任意逻辑程序转换为属性语法,因为基本上相同的逻辑变量有时可以用作输入,有时可以用作输出。 我们介绍了属性语法的概念,该属性与属性语法的概念类似,不同之处在于属性没有被归类为继承和综合的类,并且语义方程式被限制集代替。 这些集合表示对属性出现值的限制,即,每个集合中的所有元素必须相等。 我们给出了一个有效的翻译方案,该方案可以为给定的逻辑程序生成等效的属性语法。我们提供了这种等效性的形式证明。 然后,我们继续对可以转换为属性语法的一类属性语法进行分类,并说明如何实现此转换。 通过组合这两种转换,可以将某些逻辑程序转换为属性语法。 完整证明ar5egiven。
资源推荐
资源评论
资源评论
weixin_38656462
- 粉丝: 1
- 资源: 915
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功