Algorithmus — eindeutig bestimmtes Verfahren zur schematischen Lösung von Aufgaben einheitlichen Typs. Ein Algorithmus ist ein System von Regeln zur Umformung vorgegebener Objekte, (Formeln, Zeilenreihen, Wörtern usw.), bei dem nach Aus­führung eines jeden Schrittes eindeutig feststeht, welche Regel beim nächsten Schritt anzuwenden bzw. ob das Verfahren abzubrechen ist. Ein Algorithmus ist somit die genaue Vorschrift, nach der bestimmte Operationen in einer bestimmten Reihenfolge aus­zuführen sind. Dabei sind zwei Fälle zu unter­scheiden. Erstens: die Reihenfolge der Operation wird ein für allemal festgelegt. Zweitens: die Reihenfolge hängt von den Ergebnissen bestimm­ter vorangegangener Operationen ab. Dann sind bestimmte logische Bedingungen zu überprüfen, nach deren Erfüllt sein oder Nicht erfüllt sein der nächste Operationsschritt festzulegen ist. Durch den Algorithmus kann ein Arbeitsvorgang exakt und ein­deutig beschrieben werden (z. B. Rechenprozesse zur Auflösung der verschiedensten Typen von Gleichungen, Prozesse der Informationsverarbei­tung in Automaten, Herstellungsprozesse bestimmter Produkte). Da die Beschreibung der Umformungen rein formal syntaktisch erfolgt, kann im Prinzip jeder algorithmisch beschreibbare Prozess von einem Automaten (Rechen-, Produk­tionsautomaten usw.) übernommen werden. Die Entwicklung von Algorithmus ist daher eine der Grund­voraussetzungen für die Automatisierung.