formal language theory

基本解释

The series papers systematic discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA 分子的可计算性及其计算能力。
The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA 分子的可计算性及其计算能力。
First, a structural model has been put forward and constructed for general ICS', then by utilization of formal language theory, the structural model formulated as a kind of context-free grammar.
本文走从语言文字描述至符号化再到形式化的崭新道路，首先为一般性的智能控制系统提出并建造了结构模型，然后利用形式语言理论将结构模型推导成了一种上下文无关文法。