文件名称：我们可以将逻辑程序转换为属性语法吗？-研究论文
文件大小：7.64MB
文件格式：PDF
更新时间：2024-06-09 04:21:02
论文研究
在本文中，我们研究了属性语法与逻辑程序之间的关系，着重于将逻辑程序转换为属性语法。 这在逻辑程序的编译技术中具有潜在的应用程序。 似乎不可能将任意逻辑程序转换为属性语法，因为基本上相同的逻辑变量有时可以用作输入，有时可以用作输出。 我们介绍了属性语法的概念，该属性与属性语法的概念类似，不同之处在于属性没有被归类为继承和综合的类，并且语义方程式被限制集代替。 这些集合表示对属性出现值的限制，即，每个集合中的所有元素必须相等。 我们给出了一个有效的翻译方案，该方案可以为给定的逻辑程序生成等效的属性语法。我们提供了这种等效性的形式证明。 然后，我们继续对可以转换为属性语法的一类属性语法进行分类，并说明如何实现此转换。 通过组合这两种转换，可以将某些逻辑程序转换为属性语法。 完整证明ar5egiven。