文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- programmed death ligand 1
- programmed flow
- programmed instruction
- programmed pressure
- programmed teaching machine
- programmed temperature
- programmed temperature sampling
- programmed temperature vaporizer
- programmed temperature vaporizer (PTV)
- programmed voltage
- Programme for Infrastructure Development in Africa
- Programme for International Student Assessment
- programme for international student assessment
- Programme of Action for Hydro-biotic Resources Conservation of China
- Programme of European Vegetation Survey
- programmer
- programming
- programming by nutrition
- programming environment
- programming for numerically controlled machine tool
- programming language
- programming languages for programmable controllers
- programming methodology
- programming theory
- programming多目标交互规划