We define an extended finite state automaton, some new logic rules and a set of analysis steps.
定义了一个扩展的有限状态自动机、一些新的逻辑转换规则，并给出了详细的分析步骤。
The model of finite state automaton and the algorithm of simulated annealing are introduced to solve this problem.
引入有限状态自动机模型和模拟退火算法来对该问题进行求解。
A finite automaton (FA) was used to build up the shallow water ray tracing model, and the model state, transition, event and action were analyzed.
用有穷状态自动机对浅海的声线追踪建模，给出了浅海声线追踪内在的状态及状态转移分析。
To verify the correctness of the finite state real time system by timed automaton can come down to the inclusion of two timed regular languages.
用时间自动机验证一个有穷状态实时系统的正确性，可归结为判定两个时间正则语言的包含问题，亦可归结为判定两个时间正则语言的交是否为空的问题。
To verify the correctness of the finite state real time system by timed automaton can come down to the inclusion of two timed regular languages.
用时间自动机验证一个有穷状态实时系统的正确性，可归结为判定两个时间正则语言的包含问题，亦可归结为判定两个时间正则语言的交是否为空的问题。
应用推荐