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

说明书

技术领域

本发明一般针对诸如有限状态变换机等有限状态自动机，尤其涉及其变 换。

背景

作为一般背景，也被称为有限状态自动机(FSA)的有限状态机(FSM) 是由状态、转移和动作组成的系统的行为的模型。FSM或FSA可使用状态图、 状态转移图、状态表、标记有向图、树等按照各种概念方式表示，它们保存构 成该机器即自动机的状态、转移和动作的关系。存在不同种类的FSM或FSA 及其等效方式，以及其中某些的各种已知转换。

目前，存在某些图变换机和树变换机，它们实现例如对某些类型的有向图 数据结构变换由FST建模的一组系统，以形成新的一个或一组FST，例如新的 有向图数据结构的某些方面，然而，这样的系统由于各种原因而受限。例如， 可扩展样式表语言变换(XSLT)是用于XML文档变换的基于XML的语言。 当用于变换其他XML文档时，该文档不被改变；相反，基于现有的XML文 档的内容创建新文档。新文档可由处理器以标准XML句法或按照诸如HTML 或纯文本等另一格式串行化(输出)。XSLT通常用于在不同XML模式之间 转换数据，或者将XML数据转换成网页或PDF文档。

实质上，XSLT允许创建描述其他XML文档的变换的XML文档，其又 可被转换成不同的格式。然而，XSLT无法考虑到可用FST表示的动作语义。 在这一方面，动作可能是“当处于预定义状态时，一旦识别某一信息，例如名 字，即执行某一动作”。然而，就可为FST定义这样的任意动作而言，XSLT 无法处理作为其变换能力一部分的对这样的任意动作的调用。此外，XSLT无 法在机器上执行补、交和并运算的全部。

而且，诸如XSLT等现有变换也无法匹配和构成具有诸如有序和无序嵌套 (例如，被表示为树结构)的有序和无序分层信息两者的FSM。尽管，在某些 环境中，存在当变换树时能够处理仅保存有序信息的某些系统，且存在当变换 时能够处理仅保存无序信息的某些系统，但是XSLT或者任何已知的系统都不 包括能跨有向图或树结构保存有序和无序嵌套两者的变换能力。现有技术的有 限状态变换机的变换中的这些和其他缺陷在以下更详细地阐述的本发明的各 种示例性非限制性实施例的描述后将变得显而易见。

概述

考虑现有技术的上述缺陷，本发明提供用于对FST执行高效树变换，例 如交、并、补等的一般框架，该框架跨一组不同类型的表示为在其表示中支持 动作信息的FST跨变换运算保存动作语义。用于对FST执行高效树变换的框 架也能够在执行树变换的同时保存有序和无序的嵌套信息，且能够支持非确定 性数据结构到确定性数据结构的变换。

在一个实施例中，一种方法用于在计算机系统中将指定树结构的数据结构 变换成模块化有限状态变换机(MFST)。该方法包括接收指定表示包括用于 定义动作信息的动作语义的有限状态变换机(FST)的树结构的数据结构。对 由数据结构表示的任何类型的有限状态机(FSM)模型，该方法包括将数据结 构变换成MFST同时在MFST中保存数据结构的动作信息的能力，其中变换包 括对数据结构执行任何交、并和补运算或可归约成任何交、并和补运算的任何 运算。在本发明的另一方面中，可根据结果FSM判定得到的FSM是否接受非 空输入。

此处提供了简化概述以帮助对以下更详细的描述和附图中的示例性、非限 定性实施例的各方面的基本或大体的理解。然而，本概述并不旨在作为详尽的 或穷尽的概观。本概述的唯一目的是以简化的形式来介绍与本发明的各种示例 性、非限定性的实施例相关的一些高层概念，作为以下更为详细的描述的序言。

附图简述

将参考附图进一步描述本发明的用于变换模块化有限状态变换机的树语 法的技术及其相关联的过程，附图中：

图1A示出了显示采用由本发明提供的一般变换框架变换FST以保存动作 语义的示例性过程的示例性、非限定性流程图；

图1B示出了显示采用由本发明提供的一般变换框架变换FST以保存动作 语义的示例性过程的示例性、非限定性框图；

图1C示出了显示用于根据本发明变换FST的示例性框架和变换引擎的示 例性、非限定性框图；

图2A示出了结合本发明的变换引擎提供的示例性接口；