[发明专利]模块化有限状态变换机的变换

权利要求书

1.一种用于将计算系统中指定至少一个树结构的至少一个数据结构变换 成至少一个模块化有限状态变换机MFST的方法，包括：

接收(500)指定至少一个树结构(140a)的至少一个数据结构，其中所 述至少一个树结构表示了至少一个有限状态变换机FST，所述至少一个FST包 括用于定义有序和无序信息的语义；以及

对由所述至少一个数据结构(140a)表示的任何类型的有限状态机FSM 模型，将所述至少一个数据结构(140a)变换(510)成至少一个MFST同时 在所述至少一个MFST中保存所述至少一个数据结构的所述有序和无序信息， 其中所述变换进一步包括对至少一个数据结构执行任何交、并和补运算。

2.如权利要求1所述的方法，其特征在于，所述变换(510)包括用转换 语法(170)变换所述至少一个数据结构(140a)，所述转换语法(170)不考 虑由指定所述至少一个树结构的所述至少一个数据结构(140a)表示的FSM 模型的类型而在所述至少一个MFST中保存所述有序和无序信息。

3.如权利要求1所述的方法，其特征在于，所述变换(510)包括对由至 少一个数据结构(140a)表示的FSM模型执行至少一个控制流程分析算法， 所述算法为由所述至少一个数据结构表示的任何类型的FSM模型保存所述至少 一个数据结构(140a)的所述有序和无序信息。

4.如权利要求2所述的方法，其特征在于，所述转换语法是预定义的转 换语法。

5.如权利要求1所述的方法，其特征在于，所述接收(500)包括接收指 定至少一个有向图结构的至少一个数据结构(140a)，其中所述至少一个有向 图结构表示了所述至少一个FST。

6.如权利要求4所述的方法，其特征在于，所述接收(500)包括接收指 定至少一个可扩展标记语言XML文档的至少一个数据结构(140a)，其中所 述至少一个可扩展标记XML文档表示了所述至少一个FST。

7.如权利要求1所述的方法，其特征在于，所述变换(510)包括对至少 一个数据结构(140a)执行空嵌套测试。

8.如权利要求1所述的方法，其特征在于，所述变换(510)包括对至少 两个数据结构执行结构兼容性测试，同时保存所述有序和无序信息。

9.如权利要求1所述的方法，其特征在于，所述接收(500)包括接收指 定至少一个非确定性树结构的至少一个数据结构(140a)，所述变换(510) 包括将所述至少一个数据结构变换成确定性的MFST。

10.一种用于将计算系统中指定至少一个树结构的至少一个数据结构变 换成至少一个模块化有限状态变换机MFST的计算设备，包括：

用于接收(500)指定至少一个树结构(140a)的至少一个数据结构的装 置，其中所述至少一个树结构表示了至少一个有限状态变换机FST，所述至少 一个FST包括用于定义有序和无序信息的语义；以及

对由所述至少一个数据结构(140a)表示的任何类型的有限状态机FSM 模型，用于将所述至少一个数据结构(140a)变换(510)成至少一个MFST 同时在所述至少一个MFST中保存所述至少一个数据结构的所述有序和无序 信息的装置，其中所述用于变换的装置进一步包括用于对至少一个数据结构执 行任何交、并和补运算的装置。

11.一种用于在计算系统中将表示有限状态变换机FST的有向图数据结 构变换成模块化有限状态变换机MFST的设备，包括：

用于在计算系统中存储用于表示FST的各种类型的多个有向图数据结构 (140a)的装置，其中所述多个有向图数据结构包括有序和无序语义信息；以 及

基于预定义的树语法(170)分析所述多个有向图数据结构(140a)，并 将所述多个有向图数据结构(140a)变换成至少一个MFST同时保存所述多个 有向图数据结构(140a)的所述有序和无序语义信息的变换机(150)，其中 所述变换机(150)对所述多个有向图数据结构(140a)执行任何交、补和并 运算。