Zurück Weiter Inhaltsverzeichnis

GGPS Version 2.0.3

J.M.P. Franosch

Handbuch Version 1.3, 4. Juni 1997

Dies ist die Dokumentation Version 1.3 zu GGPS Version 2.0.3. Sie liegt in den Formaten GNU Info, HTML, LaTeX, DVI, Postscript, ASCII sowie als SGML-Quelltext vor. GGPS 2.0.x sind Test-Versionen! Nicht weitergeben! GGPS (``General Grammar Problem Solver'') wendet Regeln auf Sätze an und versucht, aus den Ergebnissen neue interessante Regeln zu erzeugen.

1. Installation

1.1 Beschreibung der Dateien
1.2 Installation von GGPS
1.3 Update von einer alten Version
1.4 Getestete Konfigurationen
1.5 Compilieren des Quellcodes von GGPS

2. Einführung

2.1 Konstanten, Variablen, Funktionen, Sätze
2.2 Regeln, Substitutionen, Unifikation, Äquivalenzklassen
2.3 Interessante Regeln
2.4 Obsolete Regeln

3. Kommandozeilenoptionen

4. Eingabedatei

4.1 Format
4.2 Eine Beispiel-Eingabedatei
4.3 Parameter

5. Ausgabedatei

5.1 Symbole
5.2 Info-Block
5.3 Äquivalenzklassen
5.4 Fehler und Warnungen

6. Technische Details

7. Bugs

7.1 Bekannte Fehler
7.2 Fehlerberichte

8. Geschichte

Zurück Weiter Inhaltsverzeichnis