The subjects studied in such a course include automata theory, formal languages, and models of computation.

这些课程讲述自动机 、 形式语言和计算模型的理论.

互联网

The highway toll collector system was researched by using the finite automata theory.

利用有穷自动机理论研究了高速公路收费站的收费系统.

互联网