文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- fault slip rate
- fault slip，net slip
- faults of power system
- fault step
- fault stress state
- fault striae
- fault structure
- fault time
- fault-tolerant computer
- fault-tolerant computer system
- fault-tolerant computing
- fault tolerant control
- fault-tolerant control
- fault tolerant control of aero-engine
- fault tolerant flight control
- fault-tolerant flight control system
- fault-tolerant motor
- fault-tolerant operation
- fault-tolerant quantum computation
- fault tolerant technique
- fault tree
- fault tree analysis
- fault-tree analysis
- fault tree analysis (FTA)
- fault tree analysis quantitative analysis