Streett Automat Bedeutung

Streett-Automat

Diese Akzeptanzbedingung ist dual zur Akzeptanzbedingung des Rabin-Automaten. == Literatur == ...
Gefunden auf https://de.wikipedia.org/wiki/Streett-Automat

---