“formal language”的概念、定义、翻译、参考文献-科学参考

单词	formal language
释义	formal language Encyclopedia 文学形式语言释 formal language形式语言用数学方法，借助标记和符号研究自然语言和人工语言的生成和转换机制的语言。 Mathematics ＞数理逻辑与数学基础＞模型论＞释义 formal language形式语言 formal language形式语言^† Computer 理论计算机科学形式语言与自动机释文 formal language形式语言
随便看	metric element metric endomorphism metric entropy metric equivalence problem metric field metric-fine Metric for Evaluation of Translation with Explicit ORdering metric form metric function metric fundamental form metric geometry metric group metric groupoid metric homomorphism metric invariant metric isomorphism metric lattice metric learning metric limit metric line metric linear space metric matrix metric model metric nuclear space metric order

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。