文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- David Composing the Psalms
- David Copperfield
- David Cox
- David Cronenberg
- David C．Larbalestier
- David Davidovich Burliuk
- David Dean Rusk
- David Del Tredici
- David di Donatello
- David Diop
- David Douglas Duncan
- David Dunlap Observatory
- David Dunlap Observatory system
- David Edgar
- David Edward Cooper
- David Edwin Pingree
- David E.M. Sappington
- Davidenko
- Davidenko method of differentiation
- David Eugene Smith
- David Everett Rumelhart
- David Fabricius
- David Fincher
- David French
- David Garrick