伴随作为替换：正则、上下文无关和树嵌合语言的代数表述

本文提出了一种将树嵌合语言解释为从正则语言和上下文无关语言开始的层级中自然的第三步的方法。这一解释的核心概念是高阶替换。而在抽象语言族的规则系统的传统表述中，重点一直放在一阶替换过程中，即辅助变量被代数载体的元素所替换——在字符串情况下为终结符和辅助范畴符号的连接——我们将这一过程提升到定义在代数载体元素上的操作层面。我们认为，这种重点的转移为更好地理解伴随操作提供了适当的平台。简而言之：嵌合不是一阶，而是二阶替换操作。