PROLOG language is selected in order to realize the automaton representation of model in computer.
为了在计算机中实现模型的自动机表示，选用了PROLOG语言。
2
Based on the formal language and automaton theory, this paper mainly studies the automatic recognition of steel character symbol.
本文基于形式语言与自动机理论，主要对钢筋标识串的自动识别进行了研究。
3
The theorem that the language set distinguished deterministic finite automaton is a recursively enumerable set was proved, and then, the recursiveness of regular language was analyzed.