finite state automata

常見例句

雙語例句

• Model checking is a formal verification by exhaustive search to finite state automata.
  模型檢測是基于對有窮狀態(tài)自動機(jī)進(jìn)行窮盡搜索的一種形式化驗證方法。
• In chapter two, the basic knowledges of finite state automata and finite homogeneous Markov chain are introduce.
  第二章，介紹有限狀態(tài)自動機(jī)、有限齊次馬爾可夫鏈及隨機(jī)系統(tǒng)的基礎(chǔ)知識。
• 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.
  新算法由兩部分構(gòu)成：增加模糊字符串到最小非循環(huán)確定模糊自動機(jī)和最小化增加模糊字符串后得到的自動機(jī)。
返回 finite state automata