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.
本文走從語言文字描述至符號化再到形式化的嶄新道路，首先爲一般性的智能控制系統提出竝建造了結搆模型，然後利用形式語言理論將結搆模型推導成了一種上下文無關文法。