第一个这样的例子是 XSLT。第二个例子可能是一种假设语言，它基本上是众所周知的正则表达式语言，但另外有一个特殊的结构，可以匹配任意数量的 _balanced _括号。（请注意第一个和第二个示例的方法不同——第一个转换树，而第二个转换被视为树的字符串。此外，这种假设语言在我看来非常有用。）
我确实知道有很多这样的语言，但是树状结构在程序员工作中的重要性以及匹配和替换方法的便利性证明了这样一个广泛的问题。
请不要讲述具有封闭源代码实现或实现的语言，在其他方面受到严格限制。但是，如果您在没有实际实现的情况下了解非常好的语言，那么可能值得一提。谢谢。