Automaten mit Ausgabe und lexikalische Analyse

Zusammenfassung

Informatiker entwerfen Algorithmen zur Automatisierung unterschiedlicher Aufgabenstellungen in der Informationsverarbeitung und implementieren diese als Programme in einer höheren Programmiersprache wie Java, Pascal oder C++. Solche höheren Programmiersprachen sind ein nützliches Instrument zur Darstellung von Algorithmen, sie sind für einen Rechner aber nicht direkt verständlich. Zunächst müssen solche Programme in eine Maschinensprache übersetzt werden. Man könnte zwar auch direkt in der Maschinensprache programmieren, aber dies ist so umständlich und zeitaufwändig, dass man es soweit wie möglich versucht zu vermeiden. Die Übersetzung in die Maschinensprache wird automatisiert durch die Konstruktion sogenannter Compiler (Übersetzer) für jede höhere Programmiersprache. Die erste Aufgabe eines Compilers besteht darin, für ein gegebenes Programm zu überprüfen, ob es syntaktisch korrekt ist, also nach den Regeln der Programmiersprache gebildet wurde. Nur wenn das Programm korrekt geschrieben ist, kann es in die Maschinensprache übersetzt werden. Eine solche Syntaxüberprüfung besteht in der Regel aus mehreren Schritten.