finite state model的意思
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.───有限狀態機對行為建模,在該模型中,對將來事件的響應取決于先前的事件。