×
塔马斯·霍尔农;瓦格伏尔盖，桑多尔

带look-ahead的存储到树传感器。 （英语） Zbl 1086.68072号

西奥。计算。科学。 329，编号1-3115-158（2004）.
总结：我们推广了Engelfriet的分解结果，指出具有规则look-ahead的自顶向下树变换器所诱导的变换类等于自顶向下树形变换类和线性树同态类的合成。将输入树替换为任意存储类型，将自顶向下的树传感器转换为常规的存储到树传感器。我们证明了正则存储对具有正前瞻性的树变换器诱导的变换类等于正则存储对具有线性树同态类的树变换器诱导的变换类的组成。我们还证明了IO和OI无上下文存储到树变换器诱导的变换类在正look-ahead下是闭合的，在线性树同态合成下是封闭的。

MSC公司：

65年第68季度 形式语言和自动机
2012年第68季度 语法和重写系统
第68季度第70季度 语言代数理论与自动机

关键词：

树语法;存储类型;传感器;看起来像个傻瓜
PDF格式BibTeX公司 XML格式引用
\textit｛T.Hornung｝和\textit｛S.Vágvölgyi｝，Theor。计算。科学。329，编号1--3，115-158（2004；Zbl 1086.68072）
全文： 内政部

参考文献：

[1] 布隆，R。；Engelfriet，J.，《一元二阶逻辑和属性文法定义的树转导的比较》，J.Compute。系统科学。，61, 1-50 (2000) ·Zbl 0960.68086号
[2] Engelfriet，J.，《自上而下树型传感器与常规外观》，数学。系统论，10289-303（1977）·Zbl 0369.68048号
[3] J.Engelfriet，《带存储的上下文无关文法》，技术代表第86-11号，莱顿大学计算机科学系，1986年7月。；J.Engelfriet，《带存储的上下文无关文法》，技术代表第86-11号，莱顿大学计算机科学系，1986年7月。
[4] J.Engelfriet、E.M.Schmidt、IO和OI、J.Compute。系统科学。15 (1977) 328-353; J.计算。系统科学。16 (1978) 67-99.; J.Engelfriet、E.M.Schmidt、IO和OI、J.Compute。系统科学。15 (1977) 328-353; J.计算。系统科学。16 (1978) 67-99.
[5] Engelfriet，J。；Vogler，H.，宏树传感器，J.Compute。系统科学。，31, 71-146 (1985) ·Zbl 0588.68039号
[6] Engelfriet，J。；Vogler，H.，宏树换能器的下推机器，Theoret。计算。科学。，42, 251-368 (1986) ·Zbl 0619.68065号
[7] 恩格尔弗里特，J。；福格勒，H.，《俯卧撑的眼神》，《Inform》。和计算。，3, 245-279 (1987) ·Zbl 0625.68063号
[8] M.J.Fischer，《宏观文法》，博士论文，哈佛大学，美国，1968年。；M.J.Fischer，《宏观文法》，博士论文，美国哈佛大学，1968年。
[9] Fülöp，Z。；Vágvölgyi，S.，自顶向下树型换能器的变体，《数学》。系统理论，21125-145（1989）·兹比尔0684.68077
[10] Z.Fülöp，S.Vágvölgyi，迭代确定性自上而下的look-ahead，计算理论基础，FCT’89，计算机科学讲义，第380卷，施普林格，柏林，1989年，第175-184页。；Z.Fülöp，S.Vágvölgyi，迭代确定性自上而下的look-ahead，计算理论基础，FCT’89，计算机科学讲义，第380卷，施普林格，柏林，1989年，第175-184页·兹伯利0759.68064
[11] Fülöp，Z。；Vágvölgyi，S.，具有确定性自顶向下look-ahead的自顶向下树传感器，Inform。过程。莱特。，33, 3-5 (1989/90) ·Zbl 0684.68077号
[12] Gécseg，F。；Steinby，M.，《树自动化》（1984），阿卡德米亚基亚多：阿卡德米亚基亚多布达佩斯·Zbl 0396.68041号
[13] W.C.Rounds，无上下文和索引语言上一些定理的面向树的证明，第二版，交响曲。《计算理论》，1970年，第109-116页。；W.C.Rounds，无上下文和索引语言上一些定理的面向树的证明，第二版，交响曲。《计算理论》，1970年，第109-116页。
[14] Slotzki，G。；Vágvölgyi，S.，具有迭代look-ahead的确定性自顶向下树变换器，Theoret。计算。科学。，143, 285-308 (1995) ·Zbl 0873.68137号
[15] Vágvölgyi，S.，具有双向树行走外观的自顶向下树传感器，Theoret。计算。科学。，93, 43-74 (1992) ·Zbl 0753.68071号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。