While this is formally correct, it is inefficient.
虽然这样做形式上是正确的，但效率不高。
While the argument was formally correct, their final conclusion was not.
虽然这一论证在形式上是正确的，但最后的结论却并不正确。
A purist dislikes slang and all expressions that are not formally correct.
纯粹主义者不喜欢俚语和一切在正式语言中不正确的表达。
While such a sentence might be formally correct, its imbalance jars the listener, and hints at deeper problems.
尽管这样的语句形式上正确，其失衡却会使听众感到震惊，暗示有更深层的问题。
Tarski thought that a satisfactory definition of truth should satisfy two conditions: (1) it is formally correct; (2) it is materially adequate.
塔斯基认为，令人满意的真句子定义应该满足两个条件：(1)形式上正确：(2)实质上适当。
Even programs formally proved correct using sophisticated mathematical techniques can have bugs.
甚至那些通过复杂而且精确的技术正式地证明是正确的程序，也会有缺陷。
Even programs formally proved correct using sophisticated mathematical techniques can have bugs.
甚至那些通过复杂而且精确的技术正式地证明是正确的程序，也会有缺陷。
应用推荐