Clear All | Download |
Download: |
|
Automaton Type: Deterministic Parity | ||
---|---|---|
ID: 2703 | Delete | |
Author: GOAL | ||
St: 69 | ||
Tr: 552 | ||
Acceptance Condition: 0: {s0, s6, s7, s10, s11, s12, s18, s27, s28, s29, s30, s44, s58, s59}, 2: {s43, s46, s47, s48, s49, s50, s56, s62}, 3: {s23, s25, s38, s39, s40, s41, s42, s53, s65, s66, s67}, 4: {s55, s57}, 5: {s54}, 7: {s1, s2, s3, s4, s5, s8, s9, s13, s14, s15, s16, s17, s19, s20, s21, s22, s24, s26, s31, s32, s33, s34, s35, s36, s37, s45, s51, s52, s60, s61, s63, s64, s68} |
||
Clear All | Download |