文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- improper quadric
- improper quotient object
- improper rational function
- improper refinement
- improper representation
- improper rotation
- improper rotation group
- improper sales behavior
- improper set
- improper singularity
- improper subalgebra
- improper subclass
- improper subgraph
- improper subgroup
- improper submodule
- improper subobject
- improper subset
- improper subspace
- improper symbol
- improper symmetry operation
- improper transformation
- impropertransposition
- improper valuation
- improv comedy
- improved artificial whiskers