finite state automata model
finite state automata model
有限状态自动机模型
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
Model checking is a formal verification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
youdao
-
The paper models queue system using queuing theory, finite state machine principle, and cellular automata model.
本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。
youdao
更多双语例句