Clear All Download
Download:
Automaton Type: Nondeterministic Büchi
ID: 3072 Delete
Author: GOAL
St: 3
Tr: 12
Acceptance Condition:
s1
Automaton Type: Deterministic Parity
ID: 2876 Delete
Author: GOAL
St: 22
Tr: 704
Acceptance Condition:
0: {s0, s3, s6, s8, s9, s10, s11, s13, s14, s15, s16}, 2: {s12, s17}, 3: {s1, s2, s4, s5, s7, s18, s19, s20, s21}
Automaton Type: Deterministic Parity
ID: 2826 Delete
Author: GOAL
St: 12
Tr: 384
Acceptance Condition:
0: {s0, s1, s7}, 1: {s5, s8}, 2: {s6, s9, s10, s11}, 3: {s2, s3, s4}
Automaton Type: Deterministic Co-Büchi
ID: 2291 Delete
Author: GOAL
St: 44
Tr: 704
Acceptance Condition:
{s0, s3, s4, s19, s20, s21, s23, s24, s26, s28, s36, s38, s39, s41}
Automaton Type: Deterministic Co-Büchi
ID: 2294 Delete
Author: GOAL
St: 44
Tr: 1408
Acceptance Condition:
{s0, s3, s4, s19, s20, s21, s23, s24, s26, s28, s36, s38, s39, s41}
Automaton Type: Deterministic Büchi
ID: 3125 Delete
Author: GOAL
St: 3
Tr: 12
Acceptance Condition:
s4
Automaton Type: Nondeterministic Rabin
ID: 1304 Delete
Author: GOAL
St: 5
Tr: 104
Acceptance Condition:
{ (∅, {s1, s2, s3}) }
Automaton Type: Nondeterministic Büchi
ID: 2952 Delete
Author: GOAL
St: 4
Tr: 78
Acceptance Condition:
s1, s2, s4
Automaton Type: Nondeterministic Parity
ID: 1970 Delete
Author: GOAL
St: 6
Tr: 112
Acceptance Condition:
0: {s2, s3, s5}, 1: {s0, s1, s4}
Automaton Type: Nondeterministic Parity
ID: 1972 Delete
Author: GOAL
St: 8
Tr: 312
Acceptance Condition:
0: {s1, s3, s5}, 1: {s0, s2, s4, s6, s7}
Clear All Download