1. Reguläre Ausdrücke und Endliche Automaten 2. Eigenschaften von Lindenmeyer - Systemen (Hämel) 3. Reduktionsstrategien für Termersetzungssysteme 4. Graphersetzungssysteme (Junick, Stoll) 5. Reduktion von Lambda-Audrücken (ungetypt) (Rose) 6. Typchecker für getypte Lambda-Ausdrücke 7. Sprachunabhängiger Quelltextformatierer (Söhmem) 8. Kreuzworträtseleditor (Mölk/Braesel) 9. Einfacher graphischer Editor (Saupe, Torres) 10. Spielstrategien für Connection
|