in chapter two, the basic knowledges of finite state automata and finite homogeneous markov chain are introduce.
第二章,介绍有限状态自动机、有限齐次马尔可夫链及随机系统的基础知识。
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.
新算法由两部分构成:增加模糊字符串到最小非循环确定模糊自动机和最小化增加模糊字符串后得到的自动机。