Clear All Download
Download:
Automaton Type: Deterministic Büchi
ID: 2527 Delete
Author: GOAL
St: 8
Tr: 128
Acceptance Condition:
{s0, s3, s4, s5}
Automaton Type: Nondeterministic Büchi
ID: 724 Delete
Author: R.Ehlers / NBWMinimizer
St: 3
Tr: 44
Acceptance Condition:
{s0, s2}
Automaton Type: Nondeterministic Muller
ID: 840 Delete
Author: GOAL
St: 2
Tr: 4
Acceptance Condition:
{ {s1}, {s0, s1} }
Automaton Type: Nondeterministic Parity
ID: 1937 Delete
Author: GOAL
St: 5
Tr: 88
Acceptance Condition:
0: {s1, s2, s4}, 1: {s0, s3}
Automaton Type: Nondeterministic Muller
ID: 839 Delete
Author: GOAL
St: 4
Tr: 12
Acceptance Condition:
{ {s1, s2}, {s1, s2, s3} }
Automaton Type: Nondeterministic Muller
ID: 957 Delete
Author: GOAL
St: 4
Tr: 32
Acceptance Condition:
{ {s1}, {s3}, {s2, s3} }
Automaton Type: Nondeterministic Rabin
ID: 1161 Delete
Author: GOAL
St: 4
Tr: 12
Acceptance Condition:
{ (∅, {s1}) }
Automaton Type: Nondeterministic Büchi
ID: 3069 Delete
Author: GOAL
St: 3
Tr: 8
Acceptance Condition:
s0, s1, s2
Clear All Download