文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- Hadamard gap theorem
- Hadamard gate
- Hadamard graph
- Hadamard hypersingular integral equation
- Hadamard inequality
- Hadamard integral
- Hadamard matrix
- Hadamard matrix of skew type
- Hadamard method
- Hadamard product
- Hadamard-regularized sum
- Hadamard theorem
- Hadamard three-circle theorem
- Hadamard three-sphere theorem
- Hadamard transform
- Hadamard transformation
- Hadamard-Vallée Poussion constant
- Hadamard variational formula
- Ha-Da-Qi Industrial Corridor
- Hadar
- Hadashan Shuili Shuniu
- Hadayikul adwiye
- Haddon matrix
- hade in census registe
- Hades