文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- Martian moon
- Martian opposition
- Martian probe
- Martian satellite
- Martianus
- Martian year
- Martin
- Martina Hingis
- Martin Alfred Hansen
- Martin Allen Klein
- Martin Amis
- Martina Navratilova
- Martin axiom
- Martin boundary
- Martin boundary theory
- Martin Boyd
- Martin Buber
- Martin Chambi
- Martin compactification
- Martin diameter
- Martin dual-boundary
- Martineau
- Martineau-Harvey duality
- Martin Eden
- Martin Edgar Philippe Paul