[发明专利]展开量化以控制自动机的入度和/或出度

说明书

优先权主张

本专利申请案主张2011年1月25日申请的题为“展开量化以控制自动机的入度和／或出度(UNROLLING QUANTIFICATIONS TO CONTROL IN-DEGREE AND／OR OUT DEGREE OFAUTOMATON)”的美国临时专利申请案第61／436,051号的优先权的利益，所述美国临时专利申请案的全文特此以引用方式并入本文中。

技术领域

背景技术

有限状态机(FSM)(也被称作有限状态自动机、自动机或简称为状态机)为状态、状态之间的转变和动作的表示。有限状态机可用以设计数字逻辑、计算机程序，或用于平行机的映像。有限状态机为由有限数目的状态、所述状态之间的转变和输出组成的行为模型。有限状态机可表示为图，其中所述图的顶点对应于有限状态机的状态，且所述图的边对应于归因于到有限状态机的一个或一个以上输入而发生的状态之间的转变。有限状态机还可具有概率转变、模糊状态或其它异事。有限状态机具有有限内部存储器、输入特征和可选输出特征。具有输出的有限状态机可被称作有限状态转换器。

有限状态机的应用包含电子设计自动化、通信协议设计、生物学和人工智能研究，以及用以描述自然语言的文法的语言学。

发明内容

附图说明

图1说明根据本发明的各种实施例的用于可使用自动机将源代码转换成机器代码的编译程序的流程图的实例。

图2说明根据本发明的各种实施例的由编译程序所使用的自动机的实例。

图3说明根据本发明的各种实施例的用于展开量化的方法的实例。

图4A到4C说明根据本发明的各种实施例的用于展开的量化的实例自动机。

图5说明根据本发明的各种实施例的平行机的实例。

图6说明根据本发明的各种实施例的实施为有限状态机引擎的图5的平行机的实例。

图7说明根据本发明的各种实施例的图6的有限状态机引擎的块的实例。

图8说明根据本发明的各种实施例的图7的块的行的实例。

图9说明根据本发明的各种实施例的图8的行的成对群组的实例。

图10说明根据本发明的各种实施例的供编译程序用以将正则表达式转换成经配置以对图5的平行机编程的映像的方法的实例。

图11A和11B说明根据本发明的各种实施例的对应于量化的自动机的实例图。

图12说明根据本发明的各种实施例的对应于量化的自动机的另一实例图。

图13说明根据本发明的各种实施例的对应于量化的自动机的又一实例图。

图14说明根据本发明的各种实施例的对应于量化的自动机的再一实例图。

图15说明根据本发明的各种实施例的计算机的实例。

具体实施方式

以下描述和图式充分地说明了特定实施例以使所属领域的技术人员能够将其付诸实践。其它实施例可并有结构、逻辑、电、过程和其它改变。一些实施例的部分和特征可包含于其它实施例中或可替代其它实施例的部分和特征。权利要求书中所陈述的实施例涵盖所述技术方案的所有可用等效物。

本文档尤其描述了将源代码转换成有限状态机的机器代码实施方案的编译程序。机器代码可对应于目标装置，因为机器代码经配置以在目标装置上实施通过源代码描述的功能。在一实例中，目标装置为平行机，且机器代码包括用于平行机的映像。在另一实例中，目标装置包括具有冯诺依曼架构的计算机，且机器代码包括供计算机中的处理器执行的指令。

在任何情况下，编译程序都会将源代码转换成体现通过源代码描述的功能的有限状态机。在编译源代码的过程中，编译程序将源代码转换成自动机。使用自动机，编译程序可识别并组合源代码中的冗余，以便优化通过机器代码实施的所得有限状态机。另外，编译程序可将在形成自动机时目标装置的方面或限制考虑进来，以便减少所得机器代码的复杂性并提高目标装置的操作效率。