开始搜索几个单词就足够了。如果您需要进行更复杂的查询,请使用以下提示进行指导。
文章类型:研究文章
作者:佐尔坦,福尔öp|洛兰·穆扎梅尔
附属公司:计算机科学基础系,阿尔帕德塞格德大学第二章。,匈牙利塞格德H-6720。[电子邮件保护];[电子邮件保护]
注:[]通信地址:阿尔帕德塞格德大学计算机科学匈牙利塞格德H-6720酒店
摘要:我们考虑具有call-by-name的pebble宏树传感器语义和强大的pebble处理。后者意味着最后一个掉落无论读取头的位置如何,都可以提起卵石。这棵树换能器概念是pebblemacro树换能器的推广呃由J.Engelfriet和S.Maneth于2003年引入,但我们离开原始名称未被更改。我们的主要结果是(1)每个n-pebble宏树转换可以由n-卵石树的组成来表征转换和产量树转换,以及(2)每个n-pebble树变换也可以通过(n−1)-pebble宏树计算转型。利用(1)和(2)证明了每个n-pebblemacro树转换显示为n+2 stay-macro树的组成变换,因此,n阶宏树变换的逆保持规律性。最后,使用前面的结果,我们显示了类型n-pebble宏树传感器的检查问题是可以判定的。
日志:计算机基础理论2008年,第89卷,第2-3期,第207-257页