文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- third principal plane
- third proportional
- third quadrant
- third quarter
- third quartile
- third radiation belt
- Third Republic of Venezuela
- third ring isomorphism theorem
- Third Sister You
- third sound
- third space
- Third Stream Music
- Third Style
- third trace
- third-type outer boundary
- third virial coefficient
- third window
- third world advertising conference
- Thirring
- Thirring model
- thirst and constant drinking
- thirst sensation
- thirst without a desire to drink
- Thirteen Agencies
- Thirteen Classics Explanatory Notes and Commentaries