formal language
基本解释
- [计] 形式语言
英汉例句
- However - and that might come as a surprise here - I am advocating a formal language for architecture description 2.
然而——这里可能显得有些突然——我一向鼓吹的是要用一门正式语言来描述架构 2。 - A computer can compute arguments very easily by simple algorithms but it can't do is translate an argument in English to a formal language.
电脑可以很容易地计算论点,通过简单的算法，但是不能这样做,把一个论点从英语翻译成另一种形式语言。 - Perhaps it would be worth trying to make a formal language for proofs in which those considered more elegant consistently came out shorter (perhaps after being macroexpanded or compiled).
或许应该试着为验算发明这样一种形式语言：越优美的验算越短（比如在宏扩张或被编译之后）。 - Now in the middle years of the seventeenth century during the English revolution that saw the execution of the king and saw the establishment of a non-monarchic republican government, Milton had practically invented the formal language, the literary language, of insubordination.
7世纪中期,英国革命期间，国王被处决,一个非君主制的共和国政府建立了起来，弥尔顿实际上创造出了一套正式词汇，一套用来表述“反抗“的文学词汇。
耶鲁公开课 - 弥尔顿课程节选 - Again, there has not been formal language submitted, a bill submitted.
WHITEHOUSE: Press Briefing - What kinds of news organizations tend to be big, have lots of writers and bureaus all over the map, use formal language with high standards of copy editing, and have been around long enough to have established reputations?
FORBES: Why Publishers Need to Stop Worrying and Learn to Love Google
双语例句
原声例句
权威例句
词组短语
- formal description language [计]形式描述语言;翻译
- FQL Formal Query Language 正式查询语言
- formal semantics language 形式语义语言
- formal logic language 形式化逻辑语言
- formal describing language tl 形式化描述语言
短语
英英字典
- a language designed for use in situations in which natural language is unsuitable, as for example in mathematics, logic, or computer programming. The symbols and formulas of such languages stand in precisely specified syntactic and semantic relations to one another
柯林斯英英字典
专业释义
- 形式语言
It deals with pattern recognition, image processing, artificial intelligence,formal language and automata,fuzzy mathematics, compounding mathematics,informatics, Chinese information processing, as well as linguistics,psychology,bionics. It is a universal technology.
汉字识别涉及到模式识别、图像处理、人工智能、形式语言与自动机、模糊数学、组合数学、信息论、中文信息处理等学科,也涉及到语言文字学、心理学、仿生学等,是一门综合性技术。 - 正式语言
- 形式语言
The score of this paper is the "formal language of Icon-painting in Medieval Europe" which is divided into 8 parts.
本文所论述的核心即“圣像画”的形式语言,共分八个部分。数学
- 形式说明
- 形式化语言
- 形式语言
- 形式语言