Gruppe eigenständiger, schrittweise ausgeführter Operationen, die Berechnungen, Datenverarbeitungsvorgänge und eine automatische Beweisführung ausführen, normalerweise um Probleme zu lösen.