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