文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- A Selection of Chen Bohua’ s Singing Style
- A Selection of Cheng Yanqiu’s Singing Style
- A Selection of Chinese Literature of Past Dynasties
- A Selection of Ci Gems
- A Selection of Ci-Poems from Yiheng Mansion
- A Selection of Ci-Poetry
- A Selection of Lectures on Chinese Literature
- A Selection of Modern-Style Poems of the Song Dynasty
- A Selection of Music for Voices of Modern Peking Opera Performance in 1964
- A Selection of Operas in Anhui Province
- A Selection of Poems of the Song Dynasty
- A Selection of Political Treatises with Commentaries
- A Selection of Refined Ci-Poems
- A Self-criticism by Du Fu
- A Self-Portrait
- Asellotans
- Asellus Australis
- Asellus Borealis
- Asellus Primus
- Asellus Secundus
- Asellus Tertius
- ASEM
- A Sentimental Journey Through France and Italy
- A Sentimental Story
- A Separation