formal language

基本解釋

However - and that might come as a surprise here - I am advocating a formal language for architecture description 2.
然而——這里可能顯得有些突然——我一向鼓吹的是要用一門正式語(yǔ)言來(lái)描述架構(gòu) 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.
電腦可以很容易地計(jì)算論點(diǎn),通過(guò)簡(jiǎn)單的算法，但是不能這樣做,把一個(gè)論點(diǎn)從英語(yǔ)翻譯成另一種形式語(yǔ)言。
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).
或許應(yīng)該試著為驗(yàn)算發(fā)明這樣一種形式語(yǔ)言：越優(yōu)美的驗(yàn)算越短（比如在宏擴(kuò)張或被編譯之后）。

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世紀(jì)中期,英國(guó)革命期間，國(guó)王被處決,一個(gè)非君主制的共和國(guó)政府建立了起來(lái)，彌爾頓實(shí)際上創(chuàng)造出了一套正式詞匯，一套用來(lái)表述“反抗“的文學(xué)詞匯。
耶魯公開課 - 彌爾頓課程節(jié)選

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

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

形式語(yǔ)言
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.
漢字識(shí)別涉及到模式識(shí)別、圖像處理、人工智能、形式語(yǔ)言與自動(dòng)機(jī)、模糊數(shù)學(xué)、組合數(shù)學(xué)、信息論、中文信息處理等學(xué)科,也涉及到語(yǔ)言文字學(xué)、心理學(xué)、仿生學(xué)等,是一門綜合性技術(shù)。
正式語(yǔ)言

形式語(yǔ)言
The score of this paper is the "formal language of Icon-painting in Medieval Europe" which is divided into 8 parts.
本文所論述的核心即“圣像畫”的形式語(yǔ)言,共分八個(gè)部分。
數(shù)學(xué)
形式說(shuō)明
形式化語(yǔ)言