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

权利要求书

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

接收100表示包括用于定义动作信息的动作语义的至少一个有限状态机 (FSM)的至少一个树数据结构140a；以及

对由所述至少一个树数据结构140a表示的任何类型的FSM模型，将所述 至少一个树数据结构变换120成至少一个MFST 190同时在所述至少一个 MFST 190中保存所述至少一个树数据结构的所述动作信息。

2.如权利要求1所述的方法，其特征在于，所述接收100包括接收表示包 括用于定义动作信息的动作语义的至少一个有限状态变换机(FST)的至少一 个树数据结构140a。

3.如权利要求1所述的方法，其特征在于，所述变换120包括采用由变换 引擎180实现的可扩展预定义转换语法170变换所述至少一个树数据结构 140a，所述变换不考虑由所述至少一个树结构140表示的FSM模型的类型而 在所述至少一个MFST中保存所述动作信息。

4.如权利要求1所述的方法，其特征在于，所述变换120包括用预定义的 转换语法170变换所述至少一个树数据结构140a，所述转换语法170不考虑所 述至少一个树结构140a所表示的FSM模型的类型而保存所述至少一个树数据 结构140a的有序和无序嵌套信息两者。

5.如权利要求1所述的方法，其特征在于，所述接收100包括接收表示包 括用于定义动作信息的动作语义的所述至少一个FSM的至少一个有向图数据 结构。

6.如权利要求6所述的方法，其特征在于，所述接收100包括接收表示包 括用于定义动作信息的动作语义的所述至少一个FSM的至少一个可扩展标记 语言(XML)文档。

7.如权利要求1所述的方法，其特征在于，所述变换120包括对至少两个 树数据结构进行交运算同时在所述至少一个MFST 190中保存所述至少一个树 数据结构140a的所述动作信息。

8.如权利要求1所述的方法，其特征在于，所述接收100包括接收至少一 个非确定性树数据结构，且所述变换120包括将所述至少一个非确定性数据结 构变换成确定性的MFST 190。

9.一种包括用于执行如权利要求1所述的方法的计算机可执行指令的计 算机可读介质。

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

表示至少一个有限状态机(FSM)的至少一个树数据结构140a，所述至 少一个树数据结构140a是用任何类型的FSM存储模型表示的；

用于将所述至少一个树数据结构140a变换成至少一个MFST 190，包括匹 配包含在所述至少一个树数据结构140a中的有序和无序嵌套信息在内的变换 引擎组件180。

11.如权利要求10所述的计算系统，其特征在于，所述至少一个树数 据结构140a是表示至少一个有限状态变换机(FST)的至少一个有向图。

12.如权利要求10所述的计算系统，其特征在于，所述变换引擎组件 180参考预定义转换语法170将所述至少一个树数据结构变换成所述至少一个 MFST 190，其中所述转换语法在所述至少一个MFST 190中保存所述有序和无 序嵌套信息两者。

13.如权利要求10所述的计算系统，其特征在于，所述至少一个树数 据结构140a包括至少一个非确定性树数据结构，且所述变换引擎组件180将 所述至少一个非确定性数据结构变换成确定性的MFST 190。