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