Änderungen
Zur Navigation springen
Zur Suche springen
← Zum vorherigen Versionsunterschied
Zum nächsten Versionsunterschied →
Integrierte Hard- und Softwaresysteme 2
(Quelltext anzeigen)
Version vom 17. Februar 2012, 16:47 Uhr
1 Byte hinzugefügt
,
16:47, 17. Feb. 2012
→4. Wozu dient Nichtdeterminismus von Automaten bei der Spezifikation von Systemen und ihrer Umgebung?
Zeile 122:
Zeile 122:
FSM nicht deterministisch -> Anforderungen unvollständig
FSM nicht deterministisch -> Anforderungen unvollständig
+
Nützlich für:
Nützlich für:
* Optimierung (Bedingungen Uninteressant)
* Optimierung (Bedingungen Uninteressant)
Zwulf
127
Bearbeitungen
Navigationsmenü
Meine Werkzeuge
Anmelden
Benutzerkonto beantragen
Namensräume
Seite
Diskussion
Varianten
Ansichten
Lesen
Quelltext anzeigen
Versionsgeschichte
Mehr
Suche
Navigation
Hauptseite
Studium
TODO 1.Semester
TODO 3.Semester
TODO 5.Semester
TODO 7.Semester
TODO 9.Semester
Nützliche Links
II-Bash
Projekte
MaJaProL
XmlFTP
Byte-Revolution
Sonstiges
Letzte Änderungen
Zufällige Seite
Anmelden
RSS
Werkzeuge
Spezialseiten
Druckversion