文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- Bolod Chingsang
- bological sampling
- Bologna
- Bologna Children's Book Fair
- Bologna Process
- Bologna survey
- bologram
- bolograph
- Bolometer
- bolometer
- bolometer array
- Bolometer arrays
- bolometric
- bolometric absolute magnitude
- bolometric albedo
- bolometric amplitude
- bolometric correction
- bolometric light curve
- bolometric luminosity
- bolometric magnitude
- bolometric radiation
- bolometric temperature
- bolosaurids
- boloscope
- Bolotnikov Rebellion