Aufruf: 'CCS ' oder einfach 'CCS' (oder schlicht draufklicken) 'help' zeigt Ihnen folgende Optionen: - 'help' gibt rudimentaere Hilfe aus - 'def: ' erlaubt das Definieren eines CCS Terms, zum Beispiel: 'def:{ X= a!.X+b?.O, Y=Y } c!.X ' Achtung: Zuerst in der Klammer die definierenden Gleichungen (kann leer sein), getrennt durch Komma. Dann der Term des Anfangszustandes. - 'show' zeigt den aktuellen Term, inklusive Gleichungen. - 'steps' zeigt die aktuell moeglichen Transitionen und Nachfolger in einer nummerierten Liste. - 'succ ' oder einfach '': fuehrt die Transition mit Nummer aus, sofern existent, wechselt Zustand zum entsprechenden Nachfolger. - 'back' macht eine ausgefuehrte Transition rueckgaengig. - 'load ' erlaubt das laden eines textfiles, der einen CCS Term enthaelt, siehe bei 'def . Die Operatoren von CCS sind folgendermassen implementiert: Stop: 'O' (ein Oh, keine Null) Praefix: '.' Auswahl: '+' Kooperation: '|' Restriktion: '>' (kein '\') Die im Skript postulierten Klammersparregeln sind implementiert. Aktionen muessen immer mit einem ! oder ? enden, ausser tau. Konventionen, die Sie einhalten sollten: - Variablen beginnen immer mit Grossbuchstaben - Aktionen beginnen immer mit Kleinbuchstaben - Filenamen beginnen nicht mit Zahlen.