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} |
||
Automaton Type: Deterministic Parity | ||
---|---|---|
ID: 2825 | Delete | |
Author: GOAL | ||
St: 102 | ||
Tr: 3264 | ||
Acceptance Condition: 0: {s0, s1, s14}, 1: {s68, s70, s72, s73, s76, s84, s86, s87, s88, s90, s91, s93, s95, s97, s98, s100}, 2: {s9, s18, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54, s55, s69, s71, s74, s75, s77, s78, s79, s80, s81, s82, s83, s85, s89, s92, s94, s96, s99, s101}, 3: {s10, s12, s15, s19, s57, s58, s59, s60, s62, s63, s64}, 4: {s13, s16, s17, s20, s21, s22, s23, s24, s25, s26, s27, s28, s56}, 5: {s2, s3, s4, s5, s6, s7, s8, s11, s61, s65, s66, s67} |
||
Automaton Type: Nondeterministic Büchi | ||
---|---|---|
ID: 627 | Delete | |
Author: GOAL | ||
St: 4 | ||
Tr: 62 | ||
Acceptance Condition: {s2, s3} |
||
Clear All | Download |