文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- sub-horizon
- sub-horizon evolution
- subhymenium
- subhypergraph
- Subic Bay
- subicle
- subideal
- subidempotent
- subidempotent radical
- subidempotent torsion radical
- subimago
- subimmersion
- subinductive class
- Su Bingqi
- subinterval
- subinvariant
- subinvariant measure
- subinvariant series
- subinvariant subgroup
- subinvariant subgroup series
- subirrigation/infiltration irrigation
- Subito-documents from libraries
- Subject
- subject
- subject analysis