电脑可以很容易地计算论点，通过简单的算法，但是不能这样做，把一个论点从英语翻译成另一种形式语言。

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.

youdao

由于图形化语言仍然必须向计算机提供符号来进行编译和解释，因此我们需要采用图形化规范来限定形式语言的参数。

Because graphical languages still must provide symbols to the computer for compilation or interpretation, graphical specifications are still be required to follow formal language parameters.

youdao

形式语言语法和网络协议的图或表表示法。

Graph or table representations for formal language grammars and network protocols.

youdao

Now "The Theory of the Formal Method," Eikhenbaum's essay that you've read for today, was written in 1927.

这篇，形式语言学理论“,是艾肯鲍姆，在1927年写的。

耶鲁公开课 - 文学理论导论课程节选

By the way, if we begin by talking about poetic and practical language, we're beginning where the Russian formalists began.

谈到诗化语言和实用语言，我们就和俄国的形式主义者站到了同一个起点。

耶鲁公开课 - 文学理论导论课程节选

They reject that formalism as an impediment to language's access to the real, and to our access to the real through language.

他们反对形式主义,将其视为语言与现实之间，和我们通过语言，和现实之间的阻碍。

耶鲁公开课 - 1945年后的美国小说课程节选