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