Clear All Download
Download:
Automaton Type: Deterministic Parity
ID: 2807 Delete
Author: GOAL
St: 26
Tr: 832
Acceptance Condition:
0: {s0, s3, s5, s7, s8, s9, s10, s11, s13, s14, s15, s16, s24, s25}, 2: {s12, s17, s22, s23}, 3: {s1, s2, s4, s6, s18, s19, s20, s21}
Clear All Download