Der Praxisteil der Facharbeit "Algorithmen zur Sprachanalyse".
Um das Programm zu kompilieren, gilt es GNAT zu installieren.
Für Linux:
apt-get install gnat-gps
yay -S gnat-gps
Sobald GNAT installiert wurde, kann das Programm mit
./prove.sh
bzw.
prove.bat
bewiesen werden. Da der Beweis recht rechenintensiv ist, dauert dieser Schritt u.U. 2-3 Minuten.
Sobald GNAT installiert wurde, ist das Programm mit
./build.sh
bzw.
build.bat
zu kompilieren.
Anschließend wird die ausführbare Datei mit
[./]main[.exe] <Eingabestring>
ausgeführt. Der Eingabestring wird in seine Tokens zerlegt und diese darnach ausgegeben.
Für die Quellcodeinspektion eignet sich gnatstudio gut. Auf Windows genügt es bei entsprechender GNAT-Installation, im Explorer auf die Projektdatei lexer.gpr Doppelklick anzuwenden.
Auf Linux gilt es in dem Ordner ein Terminal zu öffnen, und gnatstudio lexer.gpr einzugeben.
Die Quelldateien sind unter dem Ordner src zu finden. In main.adb ist das Konsoleninterface implementiert. Es wird auf lexer.adb zugegriffen, welche die Implementation für die Funktion, welche in der Spezifikationsdatei lexer.ads deklariert wurde enthält. Außerdem befinden sich in der Spezifikationsdatei die Zustandsübergangstabellen und die Rückgabetabelle.