形式语言理论 meaning in Chinese

formal language theory

Formal language theory
形式语言理论
In particular , he showed that the subclass of regular languages - strictly locally testable languages , is equivalent to a certain type of splicing languages , called persistent splicing languages , which bridge the gap between mathematical analysis in molecular biology and formal language theory in computer science
更重要的是，他还证明正则语言中的一类? ?严格局部可测语言，与拼接语言(由拼接系统产生的语言)的子类? ?持续拼接语言等价。这就架起了分子生物学的数学分析与计算机科学中形式语言理论之间的桥梁。