有限自动机理论是一类简单类算法的数学理论，这些算法理论这些数学虽然简单但对计算机科学很重要。

The theory of finite automata is the mathematical theory of a simple class of algorithms that are important in computer science.

youdao

作者通过圣维南方程组的有限差分数值解并使用比例控制方式，编写出计算机程序，实现了自动上游控制灌溉渠道系统的计算机模拟。

Based on the numerical solution of Saint Venant Equations and proportional control mode, the author established a computer program for simulating automatic upstream control irrigation canal system.

youdao

该方法适宜于计算机编程操作，因此可方便地用于多输入多状态有限自动机的综合。

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.

youdao