Model checking is a formal verification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
We extend finite state automata with logic rules, trust matrix and actions of principals to analyze E-commerce protocols.
定义了一个信任矩阵和一个动作集合，并将它们和逻辑规则一起引入有限状态自动机为协议参与者建模。
The new algorithm is composed of two parts: adding fuzzy strings to minimal acyclic deterministic fuzzy finite state automata (ADFFAs) and minimizing the resulting automata.
新算法由两部分构成：增加模糊字符串到最小非循环确定模糊自动机和最小化增加模糊字符串后得到的自动机。
The automata of fuzzy or defuzzization what we study are all finite-state automata so far.
到目前为止，我们所研究的模糊或非模糊的自动机都是有限状态自动机。
Introduces the notion of Finite Precision Timed Automata (FPTA) and focuses on the representation of clocks in a state.
简要介绍了有限精度时间自动机(FPTA)的基本概念，重点讨论FPTA状态中时钟的表示。
Lattice-valued finite automata. We introduce the conpect of lattice-valued finite automata. The state transition function is defined as ?
格值有限状态自动机的研究：首先，提出了格值有限状态自动机的概念，它的状态转移函数定义为?。
This thesis introduces the arithmetic design that how regular expression switches to minimum state DFA and the method how finite automata switches to regular expression.
本文主要介绍基于编译器构造技术中的由正规表达式到最小化dfa的算法设计和实现技术，以及自动机转换正规式的方法。
The paper models queue system using queuing theory, finite state machine principle, and cellular automata model.
本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。
The paper models queue system using queuing theory, finite state machine principle, and cellular automata model.
本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。
应用推荐