Parsing 如何用后缀表示法写n元树？

我试图理解，通过下推自动机在排序有序树中进行树模板匹配。第一步是让树使用后缀符号

我如何拍摄这样一棵树：

foo
  bar
    abc
    def
  bar
    abc
    a
    b
    a
    b
    c
    d
    e
    def
    abc
  baz
    bar
      abc
      a
      b
      c
    abc
    def

---

用后缀表示法写吗？

这没什么意义。但是，您可以使用括号：

...(abc a b c)bar abc def)baz)foo

或指定每个运算符的操作数：

... abc a b c bar4 abc def baz3 foo3

甚至：

... abc0 a0 b0 c0 bar4 abc0 def0 baz3 foo3

---

这没有多大意义。但是，您可以使用括号：

...(abc a b c)bar abc def)baz)foo

或指定每个运算符的操作数：

... abc a b c bar4 abc def baz3 foo3

甚至：

... abc0 a0 b0 c0 bar4 abc0 def0 baz3 foo3

---

在那篇论文中，你所询问的树是不可能的，因为你有具有相同“符号”（名称）的节点和不同数量的子节点。然而，本文假设字母表中的每个符号都有一个指定的“arity”（用该符号标记的节点的子节点数）。顺便说一下，叶符号的算术数为0

这在开头的“基本定义”一节中（非常简短）提到：

---

排序字母表是一对在那篇论文中，你要问的树是不可能的，因为你有具有相同“符号”（名称）的节点和不同数量的子节点。然而，本文假设字母表中的每个符号都有一个指定的“arity”（用该符号标记的节点的子节点数）。顺便说一下，叶符号的算术数为0

这在开头的“基本定义”一节中（非常简短）提到：

---

排名字母表是一对夫妇，谢谢你指出这一点，我很长一段时间都没有注意到。有没有“树表达式匹配”的论文可以像我描述的那样在树上工作？（不确定要搜索什么）？我基本上是某种树的自动机，给定一个树模式。@lance:你可以使用你的纸，但你需要给每个节点添加算术。一种常见的编写方法是

foo/2

（在Prolog和Erlang中使用）。不过，我真的不是树表达式匹配方面的专家。谢谢你指出这一点，我很长一段时间都不会注意到。有没有像我描述的那样可以在树上工作的“树表达式匹配”论文？（不确定要搜索什么）？我基本上是某种树的自动机，给定一个树模式。@lance:你可以使用你的纸，但你需要给每个节点添加算术。一种常见的编写方法是

foo/2

（在Prolog和Erlang中使用）。不过，我并不是树表达式匹配方面的专家。