Der XWizard wurde für die Vorlesung Info II erstellt, ursprünglich zur Erstellung von Aufgaben (das X steht daher für eXercise). Er bietet eine Fülle von Möglichkeiten, mit den in der Vorlesung gelehrten Konzepten herumzuspielen oder eigene Fragestellungen zu bearbeiten.
Dazu gibt man ein sogenanntes Skript ein, und das Programm erzeugt ein entsprechendes Objekt (das sind etwa endliche Automaten, Kellerautomaten, Turingmaschinen, Grammatiken, Binary Decision Diagrams usw.), das angezeigt und weiter verarbeitet (etwa minimiert, in eine Normalform überführt o.ä.) werden kann. Außerdem können kleine Aufgaben mit dem XWizard gestellt und gelöst werden. Siehe auch u.a. Abbildungen bzw. diesen Forenbeitrag.
Der XWizard ist als (1) Web-Version und als (2) Download (PDF-XWizard) verfügbar. Die Web-Version ist ab dem WS15/16 offiziell verfügbar und hat nahezu den gleichen Funktionsumfang wie die Download-Version, allerdings sind mit der Download-Version z.T. komplexere Berechnungen möglich. Falls Sie Probleme haben oder Fehler bemerken, sagen Sie uns bitte hier im Forum bescheid.
|