Eine exakte Arbeitsanleitung, die der Lösung eines Problems oder einer Klasse von Problemen dient und eindeutige Anweisungen enthält, die so präzise sind, dass sie von Computern ausgeführt werden können.