Elektrische Übungen zu Automaten und Formalen Sprachen
Für einige Übungsaufgaben
gibt es die Möglichkeit der maschinellen Korrektur.
Schicken Sie Ihre Lösung im Body einer Mail
an mich (joe@informatik.uni-leipzig.de)
mit dem Subject autotool Aufgabe31a bzw. die entsprechende Nummer.
Benutzung
Hier finden Sie Einzelheiten zu
Es gibt eine Liste mit
haüfig gefragten Fragen.
Implementierung
Lesen Sie bei Bedarf hier
Erläuterungen zum verwendeten Mailprozessor.
Es kann sein, daß das System Sicherheitslücken besitzt (siehe Beschreibung).
Wenn Sie wollen, versuchen Sie diese zu finden,
und informieren Sie mich.
Ansonsten lassen Sie das Hacken lieber.
Der wahre Hacker kann sich gern die
Quellen anschauen,
mit nach Hause nehmen,
und mit einem Haskell-System
selbst ausführen.
Wie weiter?
Ich suche Haskell-Programmierer, die die Wartung und Entwicklung des
autotools übernehmen. Für die Zukunf sind wünschenswert
- Module für endliche Automaten, reguläre Ausdrücke
- Module für Berechenbarkeit und Komplexität (z. B. rekursive Funktionen)
- Module zur Punktvergabe und -Verwaltung
- ein schöner runder Release (mit autoconf und allem Drum und Dran),
der sich leicht überall installieren läßt.
http://www.informatik.uni-leipzig.de/~joe/
mailto:joe@informatik.uni-leipzig.de