From 76fb2287d5834afbb4bd45beb37281111592d137 Mon Sep 17 00:00:00 2001 From: pascalcroizier <99428484+pascalcroizier@users.noreply.github.com> Date: Tue, 25 Oct 2022 10:19:37 +0200 Subject: [PATCH] Incorrect code sample in the section 6.1 Nummer 1 will not be printed --- ch06.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ch06.tex b/ch06.tex index 7d5833a..e6d25fb 100644 --- a/ch06.tex +++ b/ch06.tex @@ -102,7 +102,7 @@ \section{The while Statement} Each time through the loop, the program displays the value of \java{n} and then checks whether it is even or odd. If it is even, the value of \java{n} is divided by 2. If it is odd, the value is replaced by $3n+1$. -For example, if the starting value is 3, the resulting sequence is 3, 10, 5, 16, 8, 4, 2, 1. +For example, if the starting value is 3, the resulting sequence is 3, 10, 5, 16, 8, 4, 2, (the above code will not print 1, because the while loop terminates when n == 1) Since \java{n} sometimes increases and sometimes decreases, there is no obvious proof that \java{n} will ever reach 1 and that the program will ever terminate. For some values of \java{n}, such as the powers of two, we can prove that it terminates.