Clear All Download
Download:
Automaton Type: Nondeterministic Büchi
ID: 3092 Delete
Author: GOAL
St: 3
Tr: 10
Acceptance Condition:
s0, s1
Automaton Type: Nondeterministic Muller
ID: 963 Delete
Author: GOAL
St: 10
Tr: 134
Acceptance Condition:
{ {s0, s1}, {s1, s2}, {s0, s1, s2}, {s3, s4}, {s2, s5}, {s0, s2, s5}, {s1, s2, s5}, {s0, s1, s2, s5}, {s2, s5, s6}, {s0, s2, s5, s6}, {s1, s2, s5, s6}, {s0, s1, s2, s5, s6}, {s2, s5, s7}, {s0, s2, s5, s7}, {s1, s2, s5, s7}, {s0, s1, s2, s5, s7}, {s2, s5, s6, s7}, {s0, s2, s5, s6, s7}, {s1, s2, s5, s6, s7}, {s0, s1, s2, s5, s6, s7}, {s2, s8}, {s0, s2, s8}, {s1, s2, s8}, {s0, s1, s2, s8}, {s2, s5, s8}, {s0, s2, s5, s8}, {s1, s2, s5, s8}, {s0, s1, s2, s5, s8}, {s2, s6, s8}, {s0, s2, s6, s8}, {s1, s2, s6, s8}, {s0, s1, s2, s6, s8}, {s2, s5, s6, s8}, {s0, s2, s5, s6, s8}, {s1, s2, s5, s6, s8}, {s0, s1, s2, s5, s6, s8}, {s2, s7, s8}, {s0, s2, s7, s8}, {s1, s2, s7, s8}, {s0, s1, s2, s7, s8}, {s2, s5, s7, s8}, {s0, s2, s5, s7, s8}, {s1, s2, s5, s7, s8}, {s0, s1, s2, s5, s7, s8}, {s2, s6, s7, s8}, {s0, s2, s6, s7, s8}, {s1, s2, s6, s7, s8}, {s0, s1, s2, s6, s7, s8}, {s2, s5, s6, s7, s8}, {s0, s2, s5, s6, s7, s8}, {s1, s2, s5, s6, s7, s8}, {s0, s1, s2, s5, s6, s7, s8}, {s2, s9}, {s0, s2, s9}, {s1, s2, s9}, {s0, s1, s2, s9}, {s2, s5, s9}, {s0, s2, s5, s9}, {s1, s2, s5, s9}, {s0, s1, s2, s5, s9}, {s2, s6, s9}, {s0, s2, s6, s9}, {s1, s2, s6, s9}, {s0, s1, s2, s6, s9}, {s2, s5, s6, s9}, {s0, s2, s5, s6, s9}, {s1, s2, s5, s6, s9}, {s0, s1, s2, s5, s6, s9}, {s2, s7, s9}, {s0, s2, s7, s9}, {s1, s2, s7, s9}, {s0, s1, s2, s7, s9}, {s2, s5, s7, s9}, {s0, s2, s5, s7, s9}, {s1, s2, s5, s7, s9}, {s0, s1, s2, s5, s7, s9}, {s2, s6, s7, s9}, {s0, s2, s6, s7, s9}, {s1, s2, s6, s7, s9}, {s0, s1, s2, s6, s7, s9}, {s2, s5, s6, s7, s9}, {s0, s2, s5, s6, s7, s9}, {s1, s2, s5, s6, s7, s9}, {s0, s1, s2, s5, s6, s7, s9}, {s2, s8, s9}, {s0, s2, s8, s9}, {s1, s2, s8, s9}, {s0, s1, s2, s8, s9}, {s2, s5, s8, s9}, {s0, s2, s5, s8, s9}, {s1, s2, s5, s8, s9}, {s0, s1, s2, s5, s8, s9}, {s2, s6, s8, s9}, {s0, s2, s6, s8, s9}, {s1, s2, s6, s8, s9}, {s0, s1, s2, s6, s8, s9}, {s2, s5, s6, s8, s9}, {s0, s2, s5, s6, s8, s9}, {s1, s2, s5, s6, s8, s9}, {s0, s1, s2, s5, s6, s8, s9}, {s2, s7, s8, s9}, {s0, s2, s7, s8, s9}, {s1, s2, s7, s8, s9}, {s0, s1, s2, s7, s8, s9}, {s2, s5, s7, s8, s9}, {s0, s2, s5, s7, s8, s9}, {s1, s2, s5, s7, s8, s9}, {s0, s1, s2, s5, s7, s8, s9}, {s2, s6, s7, s8, s9}, {s0, s2, s6, s7, s8, s9}, {s1, s2, s6, s7, s8, s9}, {s0, s1, s2, s6, s7, s8, s9}, {s2, s5, s6, s7, s8, s9}, {s0, s2, s5, s6, s7, s8, s9}, {s1, s2, s5, s6, s7, s8, s9}, {s0, s1, s2, s5, s6, s7, s8, s9} }
Clear All Download