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