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

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