finite state model信息详情
有限状态模型
finite state───[计] 有限状态,终止状态;有限态
finite state machine───[计]有限状态机;[电] 有限态机器
finite definition───有限定义
finite meaning───有限意义
finite elemente───有限元
finite field───[数]有限域
finite verbs───n.限定动词
anomalous finite───反常有限元
model───vi.做模型;做模特儿;adj.模范的;作模型用的;n.模型;典型;模范;模特儿;样式;n.(Model)人名;(德、俄、英)莫德尔;vt.模拟;塑造;模仿
The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.───使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).───不严格地说,模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
Finite state machines model behavior where responses to future events depend upon previous events.───有限状态机对行为建模,在该模型中,对将来事件的响应取决于先前的事件。