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