有穷的 meaning in English
finite
Examples
- In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
一个时间自动机是一个五元组n , l 0 , c , e , i ,其中n为一个有穷的位置集合, l 0n是初始状态, c是一个取实数值的时钟变量的有穷集合, e ng c 2 cn是转换的集合。