文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- Three-Character Classic
- Three-Character Operetta
- Three-Charater Verse on Tuina
- Three Chivalrous Swordsmen by Ren Yi
- three-choice polygon
- three-choice walk
- three-chord lemma
- Three Chuanqi Plays of Wan Shu
- Three Chuanqi Stories of the Anxianglou Edition
- Three Chuanqi Stories of the Sturdy Grass Hall
- Three Circles
- three circles of information architecture
- three-circles theorem
- three close
- Three coining offices of shanglin
- three collections and five unified management
- three-colorable
- three-colorable graph
- three-colorable knot
- three-colorable map
- Three-color block-printed edition
- three-color photometry
- Three Colors:Blue, White, Red
- Three Colors of Xishuangbanna
- three-color theorem