... 数理逻辑基础 Elements of Mathematical Logic 形式语言与自动机 Formal Language and Automata 程序设计方法学 Programming Methodology ...
基于20个网页-相关网页
Formal language and Automata theory 形式语言与自动机理论
The three main research areas of the theory are: formal language and automata theory, computability theory and the computing complexity theory.
有三个核心领域：形式语言与自动机理论、可计算性理论和计算的复杂性理论。
The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory.
本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA 分子的可计算性及其计算能力。
应用推荐