文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- Systematics of Rodentia
- systematic statistic
- Systematic Studies on the Music of Pu Opera
- systematic theology
- systematic velocity
- systematization
- systematization of laws
- systematized administrative principle
- Systematized Collection of Litera- ture in Jin Dynasty
- Systematized Collection of Literature in Jin Dynasty
- systematized theoretical framework of public administration
- systematizied design
- systematology
- system audit
- system availability
- system average interruption duration
- system average interruption frequency
- system balance
- system bath model
- system-bath model
- System Biology
- system biology
- system biology of medicinal Resource
- system boundary
- system bus