文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- janus polymerization
- Janusz Kaminski
- Jan Vermeer
- Jan Zahradníček
- Janzen
- Janzen area
- Janzen-Connell hypothesis
- Jao tsung-i
- Japan
- Japan Administrative Evaluation Bureau
- Japan Advanced Train Administration and Communications System
- Japan Aeronautical Association
- Japan Aerospace Exploration Agency
- Japan agricultural cooperatives
- Japan and South Korea style
- Japan Association for African Studies
- Japan ATACS
- Japan Atomic Energy Research Institute
- Japan aviation
- Japan Book Publishers Association
- Japan Broadcasting Corporation
- Japan Broadcasting Corporation subscription fee
- Japan buttercup
- Japan Communications Satellite
- Japan Computerized Safety,Maintenance and Operation System