有限状态机器的英文

发音:

"有限状态机器"怎么读用"有限状态机器"造句

英文翻译手机版

finite state machine

"有限"英文翻译 limited; restricted; finite; ...
"状态"英文翻译 status; state; condition; st ...
"机器"英文翻译 machine; machinery; engine
"有限状态机" 英文翻译 : finite automaton; finite state machine fsm; finite-state machine; fsm finite state machine; ingems
"moore有限状态机" 英文翻译 : moore machine
"决定型有限状态机" 英文翻译 : deterministic finite state automaton
"通信有限状态机" 英文翻译 : communicating finite state machine
"异步有限状态机" 英文翻译 : asynchronous finite-state machine
"有限状态机 [有限自动机" 英文翻译 : finite automaton
"有限状态机, 有穷状态机, 有限自动机" 英文翻译 : finite-state machine
"局部说明的有限状态机" 英文翻译 : partially specified finite-state machine
"全部说明的有限状态机" 英文翻译 : fully-specified finite-state machine
"有限状态机综合系统" 英文翻译 : finite state machine synthesis system
"状态机器" 英文翻译 : machine state; state machine
"有限态机器" 英文翻译 : finite state machine
"判优状态机器" 英文翻译 : arbitration state machine; machine, arbitration state
"写入状态机器" 英文翻译 : machine, write-state (wsm); write-state machine
"异步状态机器" 英文翻译 : asynchronous state machine; machine, asynchronous state
"有限状态" 英文翻译 : finite state
"有限状态表" 英文翻译 : finite state table; finite-state table
"有限状态误差" 英文翻译 : finite-state error
"有限状态信道" 英文翻译 : finite-state channel
"有限状态语法" 英文翻译 : definite state grammar; finite state grammar
"有限状态语言" 英文翻译 : finite-state language; fsl finite state language
"状态机器编译程序" 英文翻译 : state-machine compiler

例句与用法

Loosely speaking , model checking is a way to check for the existence of a finite state machine ( specification ) in another finite state machine ( program )
不严格地说，模型检查是在一个有限状态机器（程序）中检验另一个有限状态机器（清单）存在性的一个方法。
The program being checked is also converted to a finite state machine , created by abstracting away all the details except the atomic predicates observed in the program
被检查的程序也被转换为一个有限状态机器，通过摘掉所有细节、只保留程序中被观测的原子谓词。
The property to be checked is described as a finite state machine that transitions on atomic predicates , properties that can be identified by cursory look at the program
所要检查的特性被描述为一个有限状态机器，即原子谓词上的转变，这样粗略地查看程序就能识别出这些特性。