Vollständiges Verfahren

Beschreibung

Ein Verfahren ist vollständig, wenn es immer in einem definiertem Zustand ist. Unter einem Verfahren versteht man das sequentielle Durchführen von Anweisungen.

Ncht vollständige Verfahren nennt man unvollständig

Beispiele

Negativbeispiel

Sei $a\in \mathbb{R}\backslash \{2\},N\in \mathbb{N}$ Das Verfahren

1. $n=1;x=a$
2. $x=1/(2-x);n=n+1$
3. if $n\le N$ then goto $2$ else quit ist unvollständig, da man für geeignete Eingabewerte $a,N$ eine Devision durch $0$ hervorrufen kann, was kein wohldifinierter Zustand ist.

\newcommand{\R}{\mathbb R}