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.
利用有穷自动机理论研究了高速公路收费站的收费系统.
互联网