Clear All Download
Download:
Automaton Type: Nondeterministic Streett
ID: 1495 Delete
Author: GOAL
St: 4
Tr: 20
Acceptance Condition:
{ ({s1, s3}, {s0, s1, s2, s3}) }
Automaton Type: Nondeterministic Rabin
ID: 1377 Delete
Author: GOAL
St: 3
Tr: 19
Acceptance Condition:
{ (∅, {s0, s1}) }
Automaton Type: Deterministic Parity
ID: 2872 Delete
Author: GOAL
St: 10
Tr: 80
Acceptance Condition:
0: {s0, s3, s4, s5, s6}, 2: {s7, s9}, 3: {s1, s2, s8}
Automaton Type: Nondeterministic Rabin
ID: 1328 Delete
Author: GOAL
St: 5
Tr: 30
Acceptance Condition:
{ (∅, {s1, s4}) }
Automaton Type: Nondeterministic Muller
ID: 848 Delete
Author: GOAL
St: 4
Tr: 20
Acceptance Condition:
{ {s1}, {s3} }
Automaton Type: Nondeterministic Muller
ID: 1009 Delete
Author: GOAL
St: 3
Tr: 20
Acceptance Condition:
{ {s1} }
Clear All Download