Clear All Download
Download:
Automaton Type: Nondeterministic Muller
ID: 833 Delete
Author: GOAL
St: 4
Tr: 16
Acceptance Condition:
{ {s2}, {s3} }
Automaton Type: Nondeterministic Rabin
ID: 1170 Delete
Author: GOAL
St: 4
Tr: 20
Acceptance Condition:
{ (∅, {s1, s3}) }
Automaton Type: Nondeterministic Muller
ID: 959 Delete
Author: GOAL
St: 6
Tr: 40
Acceptance Condition:
{ {s2}, {s3} }
Automaton Type: Nondeterministic Muller
ID: 1052 Delete
Author: GOAL
St: 3
Tr: 19
Acceptance Condition:
{ {s0}, {s1} }
Clear All Download