Clear All | Download |
Download: |
|
Automaton Type: Deterministic Co-Büchi | ||
---|---|---|
ID: 2305 | Delete | |
Author: GOAL | ||
St: 337 | ||
Tr: 1348 | ||
Acceptance Condition: {s0, s2, s6, s8, s10, s11, s12, s13, s14, s15, s17, s19, s23, s27, s30, s31, s32, s33, s35, s37, s38, s39, s42, s43, s51, s67, s69, s72, s73, s76, s81, s82, s83, s84, s91, s92, s98, s99, s100, s103, s112, s113, s114, s120, s123, s125, s130, s132, s144, s145, s146, s148, s149, s151, s158, s159, s160, s162, s163, s164, s165, s166, s171, s174, s176, s199, s203, s205, s211, s214, s215, s219, s221, s224, s225, s227, s228, s229, s230, s231, s235, s236, s237, s289, s291, s293, s295, s296, s298, s307, s309, s312, s313, s314, s319, s321, s322, s325, s326, s330} |
||
Clear All | Download |