文学 形式语言 释 formal language 形式语言 用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。
＞数理逻辑与数学基础＞模型论＞释义 formal language 形式语言 formal language 形式语言†
理论计算机科学 形式语言与自动机 释文 formal language 形式语言
- Utah State
- U Tak
- Uta Monogatari
- UTAUT
- UTC
- UTC-PAB
- UTD
- uterine artery
- uterine body
- uterine branch
- uterine cervix
- uterine cycle
- uterine extremity
- uterine gland
- uterine malformation
- uterine orifice
- uterine or vaginal prolapse
- uterine pore
- uterine sac
- uterine smooth muscle stimulant
- uterine torsion
- uterine tube
- uterine vein
- uterine vesicle
- uteroplacental apoplexy