形式语言是一阶逻辑的深化；

Formal language is the depth of first-order logic.

形式语言有严格的语法规则。

Formal languages tend to have strict rules about syntax.

他们变换编码在一个正式的语言的代码在另一个形式语言。

They transform code in one formal language to code in another formal language.

为交换信息由对等实体使用的一种形式语言.

A formal language used by peer entities to exchange information.

化学家也使用一种形式语言来表分子的化学结构。

Chemists use a formal language to represent the chemical structure of molecules.

具体分析了建筑中非线性形式语言的言语表达.

This thesis will analyze the parole expression of formal language by non - linear thinking.

如同在《逻辑哲学论》中被形式语言消解一样，形而上学在《哲学研究》中被日常语言所消解。

Metaphysics is exiled by formal language in Tractates Logicophilosophicus as by normal language in Philosophical Investigations.

说着自然语言长大的人们，每个人在适应形式语言的时候都会有一段困难时期。

People who grow up speaking a natural language everyone often have a hard time adjusting to formal languages.

在形式语言里，契约的某些部分是否难以或者无法表达，而只能通过人类语言来表述？

Are there parts of contracts that are difficult or impossible to express in a formal language, that you can only express in a human language?

编程语言是被设计成用来表达运算的形式语言。

Programming languages are formal languages that have been designed to express computations.