finite state automata信息详情
[自]有限状态自动机
finite state───[计] 有限状态,终止状态;有限态
finite state machine───[计]有限状态机;[电] 有限态机器
automata───n.不动脑筋机械行事的人;自动装置;小机器人(automaton的复数)
finite definition───有限定义
automata theory───自动化理论,自动机理论
finite meaning───有限意义
finite elemente───有限元
nier automata───自动肾
finite field───[数]有限域
Model checking is a formal verification by exhaustive search to finite state automata.───模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
new algorithm is composed of two parts: adding fuzzy strings to minimal acyclic deterministic fuzzy finite state automata (ADFFAs) and minimizing the resulting automata.───新算法由两部分构成:增加模糊字符串到最小非循环确定模糊自动机和最小化增加模糊字符串后得到的自动机。
finite state automata with logic rules, trust matrix and actions of principals to analyze E-commerce protocols.───信任矩阵和一个动作集合,并将它们和逻辑规则一起引入有限状态自动机为协议参与者建模。
Generalized Definition and Discussion of Some Concepts in Finite State Automata───有限状态自动机中几种概念的泛化定义及探讨
Finite State Automata Representation of Bi-level Images───黑白数字图像的有穷状态自动机表示方法
Unregulated table structure Web information extraction based on finite state automata───基于有限状态自动机提取不规范表结构Web信息
A Finite State Automata Approach Based on Slot-Feature for Dialogue Management in Spoken Dialogue System───对话管理中基于槽特征有限状态自动机的方法研究
A New Approach for Gradual Transition Detection Based on Finite-State Automata───一种基于有限自动机的渐变镜头检测算法
A service composition model based on finite state automata───基于有限状态自动机的服务组合模型
In chapter two, the basic knowledges of finite state automata and finite homogeneous Markov chain are introduce.
Petri Net, Finite State Automata ( FSA ) , IDEF 3 and State Charts are traditionally used for behavior modeling.
Model checking is a formal verification by exhaustive search to finite state automata.
- finite quantity
- finite state automaton
- finite state grammar
- finite state machine error
- finite state machine designer
- finite state transducer
- finite state model
- finite state transducers
- finite variance
- finite strain
- finite verb
- finite summation
- finitepath
- finitenumber
- finites
- finitism
- finlandia
- finity
- finlands
- finlab
- fink process