Änderungen

Zur Navigation springen Zur Suche springen
Zeile 119: Zeile 119:  
|}
 
|}
   −
==== 4. Wozu dient Nichtdeterminismus von Automaten bei der Spezifikation von Systemen und ihrer Umgebung? ====  
+
==== 4. Wozu dient Nichtdeterminismus von Automaten bei der Spezifikation von Systemen und ihrer Umgebung? ====
 +
 
 +
FSM nicht deterministisch -> Anforderungen unvollständig
 +
Nützlich für:
 +
* Optimierung (Bedingungen Uninteressant)
 +
* Verifizierung (Ausschluss unmöglicher Fälle)
    
==== 5. Ermitteln Sie den DFG für eine gegebene Funktion (z.B. f(x,y,z) = (6y + 7) + 4y (z + 4x)). ====  
 
==== 5. Ermitteln Sie den DFG für eine gegebene Funktion (z.B. f(x,y,z) = (6y + 7) + 4y (z + 4x)). ====  
127

Bearbeitungen

Navigationsmenü