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.
本文所論述的核心即“聖像畫”的形式語言,共分八個部分。數學
- 形式說明
- 形式化語言
- 形式語言
- 形式語言