文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- quadratically summable function
- quadratic analysis
- quadratic approximation
- quadratic approximation method
- quadratic assignment problem
- quadratic characteristic
- quadratic class-number constant
- quadratic collision probability method
- quadratic complex
- quadratic component
- quadratic cone
- quadratic congruence
- quadratic congruence equation
- quadratic convergence
- quadratic convergence rate
- quadratic covariation process
- quadratic-covariation process
- quadratic criterion
- quadratic curve
- quadratic curve discriminant
- quadratic cylinder
- quadratic dependence
- quadratic deviation
- quadratic diameter
- quadratic differential