文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- positive youth development
- positive zero
- positivism
- positivism methodology of psychology
- positivism policy analysis
- positivist history
- positivistic sociology
- positivist jurisprudence
- positivity
- positivity axiom
- positivity domain
- positivity property
- positizable operator
- positroid boundaries
- positroid stratification
- positron
- positron-annihilation apparatus
- positron annihilation spectroscopy
- positron annihilation spectroscopy (PAS)
- positron annihilation technique
- positron-annihilation technique
- positron-electron annihilation
- positron emission
- positron emission mammography
- positron emission tomography