Clear All | Download |
Download: |
|
Automaton Type: Nondeterministic Parity | ||
---|---|---|
ID: 1971 | Delete | |
Author: GOAL | ||
St: 4 | ||
Tr: 62 | ||
Acceptance Condition: 0: {s2, s3}, 1: {s0, s1} |
||
Automaton Type: Nondeterministic Streett | ||
---|---|---|
ID: 1640 | Delete | |
Author: GOAL | ||
St: 4 | ||
Tr: 28 | ||
Acceptance Condition: { ({s1, s2}, {s0, s1, s2, s3}) } |
||
Automaton Type: Nondeterministic Büchi | ||
---|---|---|
ID: 697 | Delete | |
Author: R.Ehlers / NBWMinimizer | ||
St: 4 | ||
Tr: 82 | ||
Acceptance Condition: {s2, s3} |
||
Automaton Type: Nondeterministic Rabin | ||
---|---|---|
ID: 1360 | Delete | |
Author: GOAL | ||
St: 4 | ||
Tr: 82 | ||
Acceptance Condition: { (∅, {s2, s3}) } |
||
Automaton Type: Deterministic Parity | ||
---|---|---|
ID: 2806 | Delete | |
Author: GOAL | ||
St: 78 | ||
Tr: 1248 | ||
Acceptance Condition: 0: {s0, s3, s4, s9, s10, s17, s18, s21, s22, s27, s28, s29, s30, s40, s41, s44, s45, s60, s62}, 1: {s66}, 2: {s15, s16, s35, s36, s37, s46, s47, s55, s61, s70}, 3: {s12, s38, s39, s52, s53, s54, s56, s58, s59, s64, s65, s71, s72, s74, s76}, 4: {s42, s43}, 5: {s1, s2, s5, s6, s7, s8, s11, s13, s14, s19, s20, s23, s24, s25, s26, s31, s32, s33, s34, s48, s49, s50, s51, s57, s63, s67, s68, s69, s73, s75, s77} |
||
Clear All | Download |