Neue Frage
0

# 2013.10.07 : Question 6_a

gefragt 2017-08-22 18:32:22 +0100

Dieser Post ist als Wiki-Post markiert

Das ist ein Wiki-Beitrag. Jeder mit Karma >75 darf diesen Beitrag verbessern.

aktualisiert 2017-08-22 18:32:22 +0100

Siavash Gravatar-Bild

What is this Q2:{} ? Should we draw it? There is no transition like that in the related automaton.

bearbeiten retag Als beleidigend melden schließen löschen

1 Antwort

1

geantwortet 2017-08-22 19:03:30 +0100

PS Gravatar-Bild

The states Q0 and Q1 refer to the state {q} (originally named a in the problem) with inputs {m} and {}, respectively. Analogously, states Q3 and Q2 refer to the state {} with inputs {m} and {}, respectively. The automaton cannot react in state {} to input {}, but that still leads to a situation as shown in state Q2 of the Kripke structure. Note that Q2 has no successor states because the automaton does also not have a transition in that situation. Still, yes, that state has to be drawn since it belongs to the Kripke structure and will be noted by µ-calculus formulas.

bearbeiten Als beleidigend melden löschen publish Link mehr

Ihre Antwort

Du kannst deinen Eintrag bereits als Gast verfassen. Deine Antwort wird zwischengespeichert, bis du dich eingeloggt oder registriert hast.
Bitte nur konstruktive Antworten auf diese konkrete Frage posten.
Falls du eine Frage stellen willst, dann stelle eine neue Frage.
Für kurze Diskussionen und Nachfragen benutze bitte die Kommentar-Funktion.
Deine Fragen und Antworten kannst du jederzeit nachbearbeiten und verbessern.
Gute Fragen und Antworten kannst du mit einem Upvote oder Downvote bewerten.

Schreibe deine Antwort auf diese Frage

[Vorschau ausblenden]

Fragen-Tools

Beobachten
1 Follower

Statistik

Gefragt: 2017-08-22 18:32:22 +0100

Gesehen: 46 mal

Letztes Update: Aug 22