该文是介绍树状自动机理论的重要文献。树状自动机是程序语言理论中的常用工具,在树状结构的类型与数据分析中起着重要作用。