Clear All | Download |
Download: |
|
Automaton Type: Nondeterministic Muller | ||
---|---|---|
ID: 2082 | Delete | |
Author: GOAL | ||
St: 14 | ||
Tr: 41 | ||
Acceptance Condition: { {s4, s8}, {s4, s6, s8}, {s4, s9}, {s4, s6, s9}, {s4, s8, s9}, {s4, s6, s8, s9}, {s2, s10}, {s7, s10}, {s2, s7, s10}, {s2, s11}, {s7, s11}, {s2, s7, s11}, {s2, s10, s11}, {s7, s10, s11}, {s2, s7, s10, s11} } |
||
Clear All | Download |