[发明专利]模块化森林自动机

权利要求书

1.一种计算机环境(100)中的用于分析正则树模式(200)的方法，所述计算机环境包括至少一个计算机处理器和计算机可读存储器，所述方法包括：

接收包括正则树模式的数据，所述正则树模式包括序列和集合中的至少一个(810)；

当所述树模式包括序列时，确定对应于所述序列的第一机器(820)；

当所述树模式包括集合时，确定对应于所述集合的第二机器(830)；

创建所述第一和第二机器的并集(840)；

确定所述机器的并集的一组带标记的接受状态(850)；

根据所述带标记的接受状态确定所述第一和第二机器的子类型关系(860)。

2.如权利要求1所述的方法，其特征在于，还包括：

确定包括到带标记的嵌套的至少一个变换的根级机器；

创建对应于所述带标记的嵌套的模块；

将与所述带标记的嵌套的返回相对应的继续状态放到堆栈上；

执行对应于所述带标记的嵌套的动作；以及

当到达所述带标记的嵌套的接受状态时，从所述堆栈弹出所述继续状态并恢复所述根级机器的处理。

3.如权利要求1所述的方法，其特征在于，所述接收到的数据对应于在编程语言中定义结构类型的数据。

4.如权利要求1所述的方法，其特征在于，所述接收到的数据对应于包括数据库的模式的数据。

5.如权利要求1所述的方法，其特征在于，所述接收到的数据对应于XML模式。

6.一种包括在其上编码了用于分析正则树模式(200)的计算机可执行指令的计算机可读介质(150)的计算机程序产品，当所述计算机可执行指令在计算环境(100)中执行时，执行一种方法，所述方法包括：

接收包括正则树模式的数据，所述正则树模式包括序列和集合中的至少一个(810)；

当所述树模式包括序列时，确定对应于所述序列的第一机器(820)；

当所述树模式包括集合时，确定对应于所述集合的第二机器(830)；

创建所述第一和第二机器的并集(840)；

确定所述机器的并集的一组带标记的接受状态(850)；

根据所述带标记的接受状态确定所述第一和第二机器的子类型关系(860)。

7.如权利要求8所述的计算机程序产品，其特征在于，还包括

确定包括到带标记的嵌套的至少一个变换的根级机器；

创建对应于所述带标记的嵌套的模块；

将与所述带标记的嵌套的返回相对应的继续状态放到堆栈上；

执行对应于所述带标记的嵌套的动作；以及

当到达所述带标记的嵌套的接受状态时，从所述堆栈弹出所述继续状态，并恢复所述根级机器的处理。

8.如权利要求8所述的计算机程序产品，其特征在于，所述接收到的数据对应于在编程语言中定义结构类型的数据。

9.如权利要求8所述的计算机程序产品，其特征在于，所述接收到的数据对应于包括数据库的模式的数据。

10.如权利要求8所述的计算机程序产品，其特征在于，所述接收到的数据对应于XML模式。

11.一种计算环境(100)中的用于表达正则树模式(200)的转换的方法，所述计算机环境包括至少一个计算机处理器(110)和计算机可读存储器(120)，所述方法包括：

接收对应于正则树模式的第一数据(910)；

接收对应于实际实例的第二数据(920)；

将所述正则树模式编译成转换器(930)；

利用对应于所需转换的指令来扩充转换器变换(940)；以及

根据所述经扩充的转换器变换和所述第二数据，确定所述第二数据的元素和所述正则树模式的元素之间的对应关系(950)。

12.如权利要求15所述的方法，其特征在于，所述指令包括变量绑定。

13.如权利要求15所述的方法，其特征在于，所述指令包括匹配条件。

14.如权利要求15所述的方法，其特征在于，所述指令包括语义动作。

15.如权利要求15所述的方法，其特征在于，所述第二数据包括XML模式实例。