拓广的左线性递归变换算法及其正确性 |
| |
引用本文: | 范明.拓广的左线性递归变换算法及其正确性[J].软件学报,1994,5(1):56-61. |
| |
作者姓名: | 范明 |
| |
摘 要: | 本给出拓广的左线性递归变换算法并证明其正确性。拓广的左线性递归中可以包含一个或多个IDB谓词,它是左线性递归的一般化和左线性递归计算算法一样,本提供的算法遵循魔集的模式:首先改写规则,然后用半扑质的自底向上算法计算新规则,算法的有效性也在本作简略讨论。
|
关 键 词: | 演绎数据库 线性递归 左线性递归 |
本文献已被 维普 等数据库收录! |
|