文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- Hiong,
- Hiong King Lai
- Hiong King-Lai
- Hiong King-Lai (1893—1969)
- HIP
- hip
- HIPASS
- hip bath
- hip bone
- HIPE
- Hipersil
- Hip Hop Quartet
- hip-hop style
- hip joint
- hip muscle
- HIPO图
- Hipparchus
- Hipparchus crater
- Hipparchus of Nicaea
- Hipparchus (约公元前180—前125)
- Hipparcos
- Hipparcos astrometric satellite
- Hipparcos Catalogue
- hipparion red clay
- Hippasus