青云翻译

我们显示的分区过程中的无花果的最后一个例子。 4和5??。图。 4，我们将展示LU分解的操作数的可能partitionings。我们可以欣赏，有两套这样的操作可行partitionings的。但是，我们将丢弃在图一。 4A，因为没有分区的任何操作数，因此，它不会导致我们一个循环为基础的算法。最后，在图。 5，我们就是我们所说的分区后置，这是后置谓词表示的操作数已取代他们分区的公式。寻找图。 5和比较图。 1，我们可以得到我们要去哪里的感觉，也许对PME推导预测的下一步骤。

我们在图 4 和 5 中显示了分区过程的最后一个例子。在图 4 中，我们展示了可能的分区的 LU 分解的操作数。我们可以明白，有两套可行的分区，这种操作。但是，我们将放弃那个 4a 图中所示，由于没有分区在任何操作数，因此，它并不导致我们一种基于循环算法。最后，在图 5 中，我们展示我们称之为分区后置条件，这是 postcondition 的谓词所述的方程更换过操作数的分区同行。看图 5 和图 1 与比较，我们可以得到我们打算和也许预见 PME 推导的下一步的地方的感觉。

我们在Figs.显示分成的过程的一个最后的例子。 4和5。 在。 4，我们显示操作数的可能的partitionings为LU分解。 我们可以赞赏，有二套可行的partitionings为这样操作。 然而，我们将放弃那个显示在。 4a，因为分成在没有被做任何操作数，并且，因此，它不带领我们一种基于圈的算法。 终于，在。 5，我们显示什么我们称被分成的postcondition，是在postcondition谓语陈述的等式操作数被他们的被分成的相对物替换了。 看。 5和它与比较。 1，我们可以得到感觉的，在哪里我们去和可能期望以下步骤往PME派生。

最后一个例子显示我们的分区程序在无花果。 4和5。 在无花果。 4,我们表明了可能的partitionings运算数为一个路分解。 在我们能够了解,有两套partitionings可行的营运的。 不过,我们会放弃这一个显示在图。 4a,因为没有分区是在作出任何一个运算数,因此,它也不能导致我们一个循环的算法。 最后,在无花果。

我们在图 4 和 5 中显示了分区过程的最后一个例子。在图 4 中，我们展示了可能的分区的 LU 分解的操作数。我们可以明白，有两套可行的分区，这种操作。但是，我们将放弃那个 4a 图中所示，由于没有分区在任何操作数，因此，它并不导致我们一种基于循环算法。最后，在图 5 中，我们展示我们称之为分区后置条件，这是 postcondition 的谓词所述的方程更换过操作数的分区同行。看图 5 和图 1 与比较，我们可以得到我们打算和也许预见 PME 推导的下一步的地方的感觉。