您要查找的是不是：
- finite state algorithm 有限态算法
- What Exactly Is a Finite State Machine? 有限状态机定义?
- Some finite state machines fall into this category, for example. 例如,一些有限状态机属于这一类别。
- Therefore, the introduction of the finite state machine concepts. 为此，引入有限状态机的概念。
- A rule-driven algorithm based on an iterated finite state transducer is proposed in present research to automatically convert graphemes to corresponding phonemes. 可以使用基于规则驱动的迭代有限状态转录机来解决这一问题。
- A finite state machine can only be in one state at any moment in time. 有限状态机在任一时刻都只能够处于一种状态中。
- Example 8-8 gives a glimpse of finite state machines from Chapter 9. 例8-8小窥了一下第9章的有限状态机。
- The cab signal fault diagnosis problem is combined with the pattern matching problem on the ba-sis of this conclusion. A cab signal fault diagnosis model based on Multiple Patterns Matching Algorithm DFSA(Deterministic Finite State Automata) is proposed. 并在此基础上将模式匹配问题与机车信号的故障诊断问题相结合,提出了基于多模式匹配算法DFSA(Deterministic Finite State Automata)的机车信号故障诊断模型。
- To propagate link state information to all servers in an Exchange organization, a propagation protocol known as link state algorithm (LSA) is used. 为了将链路状态信息传播到Exchange组织中的所有服务器,使用称为链路状态算法(LSA)的传播协议。
- The following figure illustrates how the link state algorithm works in an Exchange organization that contains multiple routing groups. 下图说明了链路状态算法如何在包含多个路由组的Exchange组织中工作。
- The finite state computer files, for example, Logon. Fsm, Fax. Fsm, and DtmfMainMenu. Fsm, do not exist. 有限状态机文件(如Logon.;fsm、Fax
- The UMConfig. Xml file contains references to the name of all the finite state computer files. UMConfig.;xml文件包含对所有有限状态机文件名的引用。
- For the feature of GUI and OO, A model based finite state machine(FSM) for conformance testing is presented. 一、针对C/S系统的GUI和OO特性，提出了基于有限状态机(FSM)的一致性测试模型。
- High-level design intents such as finite state machine (FSM) and counter are commonly used in modern VLSI design. 高阶设计资讯被广泛的应用在现今超大型积体电路的设计上，如：有限状态机、计数器等等。
- Petri Net, Finite State Automata (FSA), IDEF3 and State Charts are traditionally used for behavior modeling. Petri Net、有限自动机、IDEF3和状态图是常用的行为建模方法。
- SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
- For every NFA a deterministic finite state machine (DFA) can be found that accepts the same language. 保持机器当前可能处在的所有状态的集合数据结构。
- With the rapid development of EDA tools,rapid design finite state machine automation with CAD will co... 随着EDA工具的快速发展,通过CAD快速设计有限状态机自动化成为可能。
- Firstly，the EFSM induced by a Finite State Machine（FSM） and its language are introduced. 首先定义了有限状态机（FSM）导出的EFSM及其产生的语言。
- The property to be checked is described as a finite state machine that transitions on atomic predicates, properties that can be identified by cursory look at the program. 所要检查的特性被描述为一个有限状态机器，即原子谓词上的转变，这样粗略地查看程序就能识别出这些特性。
