Spur-Semantiken

bis jetzt: Zustandsübergangssystem

entspricht: (endlicher) Automat mit Epsilon-Übergängen

jetzt: Vergleich solcher Systeme (Automaten) durch Beobachtungen.



Johannes Waldmann 2011-06-29