模块化森林自动机

摘要

本发明涉及一种模块化森林自动机。模块化森林自动机（MFA）提供部分有序的正则树模式的统一描述。MFA还提供用于这些模式的确定化、子类型化、交集、以及补集的简单方法。MFA支持高性能的模式分析和匹配。模块化森林转换器，结合模块化森林自动机，允许编译器对任何状态转换施加语义动作，而同时又支持带标记的有向图的高效转换。

主权项

一种计算环境（100）中的用于表达正则树模式（200）的转换的方法，所述计算机环境包括至少一个计算机处理器（110）和计算机可读存储器（120），所述方法包括：接收对应于正则树模式的第一数据（910）；接收对应于实际实例的第二数据（920）；将所述正则树模式编译成转换器（930）；利用对应于所需转换的指令来扩充转换器变换（940）；以及根据所述经扩充的转换器变换和所述第二数据，确定所述第二数据的元素和所述正则树模式的元素之间的对应关系（950）。