Clear All Download
Download:
Automaton Type: Nondeterministic Rabin
ID: 1331 Delete
Author: GOAL
St: 61
Tr: 312
Acceptance Condition:
{ (∅, {s3, s7, s9, s12, s18, s23, s26, s28, s29, s33, s43, s45, s51}) }
Clear All Download