文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- software device
- software disaster
- software documentation
- software efficiency
- software engineering
- software engineering economics
- software engineering environment
- software engineering management
- software engineering methodology
- software engineering process model
- software engineering tools
- software error
- software error, software bug
- software evaluation
- software evolution
- software experience data
- software failure
- software fault
- software fault-tolerance strategy
- software feature
- software flexibility
- software for display
- software for Monte Carlo method
- software interruption
- software librarian