English translation for "有限状态机器"

finite state machine

Related Translations:

有限保证:  limited guaranteerestricted guarantee

有限母体:  finite population

文化水平有限:  have had little schooling

有限长度:  finite length

有限字母:  finite alphabet

有限孔径:  finite aperture

有限政府:  limited government

有限对策:  finite game

有限区域:  determinate regionfinite regionlimited area

有限序列:  finite sequence

Example Sentences:

	1.	Loosely speaking , model checking is a way to check for the existence of a finite state machine ( specification ) in another finite state machine ( program ) 不严格地说，模型检查是在一个有限状态机器（程序）中检验另一个有限状态机器（清单）存在性的一个方法。
	2.	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 被检查的程序也被转换为一个有限状态机器，通过摘掉所有细节、只保留程序中被观测的原子谓词。
	3.	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 所要检查的特性被描述为一个有限状态机器，即原子谓词上的转变，这样粗略地查看程序就能识别出这些特性。

Similar Words：

"有限状态构词法" English translation, "有限状态构词法 [有限状态词法" English translation, "有限状态机" English translation, "有限状态机 [有限自动机" English translation, "有限状态机, 有穷状态机, 有限自动机" English translation, "有限状态机综合系统" English translation, "有限状态进序机" English translation, "有限状态生成器" English translation, "有限状态时序机" English translation, "有限状态误差" English translation