文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- carpet loom
- carpet sharks
- carpets in the Palaces of the Qing Dynasty
- carpetweed family
- carp lantern
- Carpo
- carpogone
- carpolithes
- carpometacarpal joint
- carpool lane
- carpophore
- carpospore
- carpus
- car pusher
- CARR
- Carracci brothers
- carrageen
- carrageenan
- Carreau–Yasuda model
- carriable type of corn harvester
- Carriacou Island
- carriage
- carriage-driving techniques
- carriage-maker
- carriage of goods by waterway