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)用形式語(yǔ)言及自動(dò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)用形式語(yǔ)言及自動(dò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.
本文走從語(yǔ)言文字描述至符號(hào)化再到形式化的嶄新道路，首先為一般性的智能控制系統(tǒng)提出并建造了結(jié)構(gòu)模型，然后利用形式語(yǔ)言理論將結(jié)構(gòu)模型推導(dǎo)成了一種上下文無(wú)關(guān)文法。