文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- characteristic surface
- characteristic system
- characteristic temperature
- characteristic theory
- characteristic thickness
- characteristic time
- characteristic time scale
- characteristic town
- characteristic tree species
- characteristic value
- characteristic value; eigenvalue
- characteristic value equation
- characteristic value of a matrix
- characteristic value problem
- characteristic values
- characteristic variable
- characteristic variety
- characteristic vector
- characteristic vector; eigenvector
- characteristic vegetable industry
- characteristic velocity
- characteristic velocity of rocket
- characteristic velocity of rockets
- characteristic water level of reservoir
- characteristic X-ray