formal language theory

基本解釋

The series papers systematic discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
本系列文章應(yīng)用形式語言及自動機理論技術(shù)，系統(tǒng)地探討了DNA 分子的可計算性及其計算能力。
The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
本系列文章應(yīng)用形式語言及自動機理論技術(shù)，系統(tǒng)地探討了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.
本文走從語言文字描述至符號化再到形式化的嶄新道路，首先爲(wèi)一般性的智能控制系統(tǒng)提出竝建造了結(jié)搆模型，然後利用形式語言理論將結(jié)搆模型推導(dǎo)成了一種上下文無關(guān)文法。