【技术实现步骤摘要】
【国外来华专利技术】
本专利技术一般针对诸如有限状态变换机等有限状态自动机,尤其涉及其变换。祖旦 冃豕作为一般背景,也被称为有限状态自动机(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等现有 ...
【技术保护点】
一种用于在计算系统中将至少一个树数据结构变换成至少一个模块化有限状态变换机(MFST)的方法,包括: 接收100表示包括用于定义动作信息的动作语义的至少一个有限状态机(FSM)的至少一个树数据结构140a;以及 对由所述至少一个 树数据结构140a表示的任何类型的FSM模型,将所述至少一个树数据结构变换120成至少一个MFST 190同时在所述至少一个MFST 190中保存所述至少一个树数据结构的所述动作信息。
【技术特征摘要】
【国外来华专利技术】2006.9.15 US 11/532,3491.一种用于在计算系统中将至少一个树数据结构变换成至少一个模块化有限状态变换机(MFST)的方法,包括接收100表示包括用于定义动作信息的动作语义的至少一个有限状态机(FSM)的至少一个树数据结构140a;以及对由所述至少一个树数据结构140a表示的任何类型的FSM模型,将所述至少一个树数据结构变换120成至少一个MFST 190同时在所述至少一个MFST 190中保存所述至少一个树数据结构的所述动作信息。2. 如权利要求1所述的方法,其特征在于,所述接收IOO包括接收表示包 括用于定义动作信息的动作语义的至少一个有限状态变换机(FST)的至少一 个树数据结构140a。3. 如权利要求1所述的方法,其特征在于,所述变换120包括采用由变换 引擎180实现的可扩展预定义转换语法170变换所述至少一个树数据结构 140a,所述变换不考虑由所述至少一个树结构140表示的FSM模型的类型而 在所述至少一个MFST中保存所述动作信息。4. 如权利要求1所述的方法,其特征在于,所述变换120包括用预定义的 转换语法170变换所述至少一个树数据结构140a,所述转换语法170不考虑所 述至少一个树结构140a所表示的FSM模型的类型而保存所述至少一个树数据 结构140a的有序和无序嵌套信息两者。5. 如权利要求1所述的方法,其特征在于,所述接收IOO包括接收表示包 括用于定义动作信息的动作语义的所述至少一个FSM的至少一个有向图数据 结构。6. 如权利要求6所述的方法,其特征在于,所述接收IOO包括接收表示包 括用于定义动作信息的动作语义的所述至少一个FSM的至少一个可扩展标记 语言(XML)文档。7. 如权利要求1所述的方法,其特征在于,所述变换120包括对至少两个 树数据结构进行交运算同时在所述至少一个MFST 190中保存所述至少一个树 数据结构140a的所述动作信息。8. 如权利要求1所述的方法,其特征在于,所述接收100包括接收至少一个非确定性树数据结构,且所述变换120包括将所述至少一个非确定性数据结 构变换成确定性的MFST 190。9. 一种包括用于执行如权利要求1所述的方法的计算机可执行指令的计 算机可读介质。10. —种用于将至少一个树数据结构变换成至少一个模块化有限状态 变换机(MFST)的计算系统,包括表示至少一个有限状态机(FSM)的至少一个树数据结构140a,所述至 少一个树数据结构140a是用任何类型的FSM存储模型表示的;用于将所述至少一个树数据结构140a变换成至少一个MF...
【专利技术属性】
技术研发人员:S·E·卢科,D·E·兰沃西,G·M·德拉利贝拉,
申请(专利权)人:微软公司,
类型:发明
国别省市:US
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。