有穷自动机，一种计算能力极其有限的计算模型，具有解决素性测试的能力通过构造法得到了证明。
Finite automaton, a computational model of extremely limited computing ability, was proved to have the capability of solving primeness test by construction.
基于局部作用原理，借用有限元离散和插值技术，引入元胞自动机的演化思路，得到一种新的力学计算方法——元胞单元法。
Based on principle of local action and the idea of cellular automata, a new mechanical method cellular element method is presented through inducting the discrete techniques of finite element method.
该方法适宜于计算机编程操作，因此可方便地用于多输入多状态有限自动机的综合。
The method fit for the program operation of the computer can be easily used for the synthesis of a finite automation with multi-input and multi-state.
应用推荐