文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- MCGA
- McGee spectracon
- McGeorge Bundy
- MCGF
- McGill University
- McGraw-Hill
- McGraw-Hill Observatory
- McGurk effect
- M. Chasles
- M. Chasles (1793—1880)
- MChD
- M.C.H.M
- MCI
- MCIC
- McIntosh classification
- McIntosh scheme
- Mcissner
- McKellar crater
- McKinley Tariff
- McKinsey & Company
- MCL
- M-class asteroid
- McLaughlin crater
- McLeod vacuum gauge
- m-closed subset