[发明专利]利用专用元件实施有限状态机

说明书

优先权主张

本专利申请案主张2011年1月25日申请的标题为“利用专用元件实施有限状态机(UTILIZING SPECIAL PURPOSE ELEMENTS TO IMPLEMENT A FSM)”的第61/436,022号美国临时专利申请案的优先权权益，所述美国临时专利申请案的全文特此以引用方式并入本文中。

技术领域

本发明标的物涉及如何实施有限状态机(FSM)。

背景技术

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

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

发明内容

本发明标的物的一个实施例涉及一种计算机实施方法，所述方法用于产生对应于包含通用元件和专用元件的一组元件的机器码。所述方法包括：确定有关系连接的运算符的布置中的一部分是否满足将被映射到专用元件的条件；如果所述部分满足所述条件，那么将所述部分映射到专用元件；和将有关系连接的运算符的所述布置转换成机器码。

本发明标的物的另一实施例涉及一种计算机可读媒体，其包含指令，所述指令在由计算机执行时致使所述计算机执行若干操作。所述操作包括：识别有关系连接的运算符的布置中的对应于目标装置的专用元件的一部分，其中所述目标装置还包含通用元件；确定所述部分是否满足将被映射到所述专用元件的条件；将所述布置转换成包括多个状态的自动机，其中如果所述部分满足所述条件，那么使用对应于所述专用元件的专用状态来转换所述部分；和将所述自动机转换成机器码。

本发明标的物的另一实施例涉及一种计算机。所述计算机包括：存储器，其上面存储有软件；和处理器，其通信地耦合到所述存储器，其中所述软件在由所述处理器执行时致使所述处理器：将正规表达式编译成用于目标装置的码，其中所述目标装置支持第一类型的元件和至少一种其它类型的元件；其中编译包含将对应于所述第一类型的元件的第一正规表达式映射到所述第一类型的元件；且其中编译包含将不对应于所述第一类型的元件的第二正规表达式映射到所述至少一种其它类型的元件。

本发明标的物的另一实施例涉及一种系统。所述系统包括：计算机，其经配置以：识别有关系连接的运算符的布置中的对应于目标装置的专用元件的一部分，其中所述目标装置还包含通用元件；确定所述部分是否满足将被映射到所述专用元件的条件；将所述布置转换成包括多个互连状态的自动机，其中如果第一部分满足所述条件，那么将所述部分转换成对应于所述专用元件的专用状态；和将所述自动机转换成机器码；以及用于编程平行机的装置，所述装置经配置以将所述机器码加载到所述平行机上。

本发明标的物的另一实施例涉及一种通过使用上文描述的本发明标的物的计算机实施方法的过程产生的映像编程的平行机。

附图说明

图1说明根据本发明的各种实施例的确定性有限状态机的实例。

图2说明根据本发明的各种实施例的非确定性有限状态机的实例。

图3说明根据本发明的各种实施例的供编译程序用以将源码转换成机器码的方法的实例。

图4说明根据本发明的各种实施例的用于将语法树转换成自动机的方法。

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

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

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

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

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

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

图11说明根据本发明的各种实施例的具有专用计数器状态的实例自动机。