Einführung in Java und der Begriff Algorithmus

in der Programmiersprache geschriebene, textförmige Beschreibung des Programms

hat die Endung .java

durch Compilierung des Quelltextes entstande hardwareunabhängiger Zwischencode

hat die Endung .class

erstellt aus dem Quellcode das eigentliche Programm in Bytecode

interpretiert den Bytecode und führt das Programm aus

genaue Vorschrift zur Berechnung / Bearbeitung eines Problems, z.B. Java-Programm

präzise Beschreibung einer Berechnung oder allgemein eines Verfahrens

Finitheit: Das Verfahren muss durch einen endlichen Text oder eine endliche Grafik beschrieben werden

Ausführbarkeit: Jeder Schritt des Verfahrens muss eindeutig ausführbar sein

Determinismus: Der nächste anzuwendende Schritt des Verfahrens muss zu jedem Zeitpunkt eindeutig definiert sein

dynamische Finitheit: Das Verfahren darf zu jedem Zeitpunkt nur endlich viel Speicherplatz benötigen

Terminierung: Das Verfahren muss nach endlich vielen Schritten enden

Keine Terminierung: Mathematisches Iterationsverfahren: konvergiert gegen Lösung

Keine Terminierung: Betriebssystem eines Rechners

Keine Terminierung: Steuersoftware eines Geräts (z.B. Handy, Smart Phone, Auto) oder Fertigungsprozess (z.B. in Chemiewerk) sollen dauerhaft laufen

Kein Determinismus: Verwendung einer (echten) Zufallszahl, unvorhersehbare zeitliche Abläufe in Parallelrechner oder Mehrkernprozessor