Die Präsentation wird geladen. Bitte warten

Die Präsentation wird geladen. Bitte warten

1 Übung 1 Konstruiere einen Büchi-Automat, der genau die Sequenzen akzeptiert, die (G a) (F G b) erfüllen 0 2 1 W? WW F? WW ?? Z0 = {0} F = { {1} } Variante:

Ähnliche Präsentationen


Präsentation zum Thema: "1 Übung 1 Konstruiere einen Büchi-Automat, der genau die Sequenzen akzeptiert, die (G a) (F G b) erfüllen 0 2 1 W? WW F? WW ?? Z0 = {0} F = { {1} } Variante:"—  Präsentation transkript:

1 1 Übung 1 Konstruiere einen Büchi-Automat, der genau die Sequenzen akzeptiert, die (G a) (F G b) erfüllen W? WW F? WW ?? Z0 = {0} F = { {1} } Variante: Konstruiere Produktautomat aus dem fuer G a und dem fuer F G b.

2 2 Übung 2 c ba d F? FF W? FF ?? 12 Z0 = {0} F = { {1} } Z0 = c F = {{a,b,c,d}} FF WFFW FF (c,0) (c,1) (c,2) (a,0) (b,0) (a,1) (b,1) (a,2) (b,2) (d,0) (d,1) (d,2) FF WF FW WF FW WF FF

3 3 Übung 3 Finde das kleinstmögliche Transitionssystem, das folgende LTL-Formeln erfüllt.... G F b F G a a U b... und folgende LTL-Formeln nicht erfüllt: G b G a a X a b a,b Z0 = {0} 0 1 2


Herunterladen ppt "1 Übung 1 Konstruiere einen Büchi-Automat, der genau die Sequenzen akzeptiert, die (G a) (F G b) erfüllen 0 2 1 W? WW F? WW ?? Z0 = {0} F = { {1} } Variante:"

Ähnliche Präsentationen


Google-Anzeigen