文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- semicircular
- semicircular canal
- semicircular domain
- semicircular law
- semicircular protractor
- semicircular spectrometer
- semicircumference
- semiclassical
- semiclassical analysis
- semiclassical approach
- semiclassical approximation
- semiclassical dynamics
- semi-classical Einstein field equation
- semiclassical initial value representation
- semiclassical quantum gravity
- semiclassical technique
- semi-classical theory
- semiclassical theory
- semi-clathrate hydrate
- semiclosed database
- semi-closed interval
- semicoherent interface
- semicoherent interphase boundary
- semi coke
- semicolloid