Ablaufprotokoll (trace)

Zeile	x	z
	undef.	undef.
1	3	undef.
2	3	0
3	10	0
4	10	1
3	5	1
4	5	2
3	16	2
4	16	3
3	8	3
4	8	4
3	4	4
4	4	5
3	2	5
4	2	6
3	1	6
4	1	7
5	Ausgabe	7

Programm iteriert Collatz-Funktion
$f: {\Bbb N} \rightarrow {\Bbb N}$
$f(x) =$ Anzahl der Iterationen, um $x$ auf $1$ zu transformieren

Typisch: Programm löst Problem

Terminierung, Korrektheit und Effizienz sind nicht algorithmisch zu bestimmen. Dafür ist jeweils eine neue Idee erforderlich.