这不是容易的挑战，因为如上面说过的，它要求在分析程序的所有阶段中全盘重新考虑其中所有的潜在假设。
This is not an easy challenge, for as we show, it calls for a complete rethinking of all the underlying assumptions in all phases of analysing a program.
正如上面介绍的一样，图形化语言并不比文本化语言提供更少语义，因为它们最终都会转化成符号。
As mentioned above, graphical languages are no less subject to issues of exact semantics than textual languages are since they are both ultimately reduced to symbols.
正如上面所讨论的，对大文件进行文件级别的压缩可能不太实际；但正如预期的那样，文件级别的压缩会取得更好的结果，因为它是在整个文件中寻找重复的字符串。
As discussed above, file-level compression of large files might be impractical; but as expected, file-level compression achieves better results since it looks for repeated strings in the whole file.
应用推荐