Finitheit
[nach lat. finitus, »ein Ende habend«], Bezeichnung für die Eigenschaft eines Algorithmus, dass er zu jedem Zeitpunkt (vor, während und - falls er endet - auch nach seiner Abarbeitung) nur einen endlichen Bereich verändert hat. Man unterscheidet die statische und die dynamische Finitheit.
Da ein Algorithmus durch einen zwar beliebig großen, aber endlichen Text beschrieben wird (also aus einer beschränkten Anzahl von Programmelementen besteht), ist jeder Algorithmus statisch finit. Ein Algorithmus heißt dynamisch finit, wenn jedes der von ihm verwendeten oder erzeugten Objekte endlich bleibt, also z. B. keine Endlosschleife enthält. In der Praxis verwendbare Algorithmen müssen stets auch dynamisch finit sein.