本文走从语言文字描述至符号化再到形式化的崭新道路，首先为一般性的智能控制系统提出并建造了结构模型，然后利用形式语言理论将结构模型推导成了一种上下文无关文法。
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.
由于传统研究方法的原因，美术学理论研究一般囿于作者中心论的方法，作品本身的形式语言价值被忽略了。
Because of the traditional research method, art theory research is generally founded in the writer-centred method, neglecting the formal language value of the work.
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。
The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
本文基于形式语言与自动机理论，主要对钢筋标识串的自动识别进行了研究。
Based on the formal language and automaton theory, this paper mainly studies the automatic recognition of steel character symbol.
梅德明教授的《现代句法学》是一本全面系统地介绍形式语言学句法理论的著作。
Modern Syntax by Professor Mei Deming is a book which gives a comprehensive introduction to the syntactic theory of formal linguistics.
有三个核心领域：形式语言与自动机理论、可计算性理论和计算的复杂性理论。
The three main research areas of the theory are: formal language and automata theory, computability theory and the computing complexity theory.
有三个核心领域：形式语言与自动机理论、可计算性理论和计算的复杂性理论。
The three main research areas of the theory are: formal language and automata theory, computability theory and the computing complexity theory.
应用推荐