Clear All Download
Download:
Automaton Type: Nondeterministic Muller
ID: 999 Delete
Author: GOAL
St: 4
Tr: 62
Acceptance Condition:
{ {s2}, {s3} }
Automaton Type: Deterministic Parity
ID: 2824 Delete
Author: GOAL
St: 536
Tr: 17152
Acceptance Condition:
0: {s0, s4, s203, s204, s205, s209, s210, s211, s220, s221, s222, s226, s227, s236, s237, s246, s274, s277}, 1: {s13, s15, s18, s21, s22, s24, s26, s29, s31, s108, s109, s112, s114, s115, s117, s118, s119, s121, s122, s123, s125, s129, s130, s131, s167, s168, s170, s171, s172, s173, s174, s290, s291}, 2: {s25, s27, s28, s30, s32, s33, s34, s35, s36, s37, s38, s46, s47, s48, s52, s53, s54, s55, s61, s62, s63, s64, s68, s72, s73, s74, s75, s80, s81, s84, s85, s86, s88, s93, s95, s99, s100, s116, s124, s126, s127, s134, s135, s136, s137, s141, s143, s145, s146, s149, s150, s151, s153, s157, s158, s162, s163, s164, s169, s178, s179, s186, s187, s188, s190, s192, s193, s196, s197, s198, s200}, 3: {s39, s40, s43, s45, s49, s51, s76, s77, s79, s89, s90, s91, s212, s214, s217, s228, s230, s233, s238, s239, s294, s295, s297, s298, s306, s307, s322, s323, s325, s326, s337, s338, s340, s343, s345, s395, s397, s442, s446, s448, s450, s458, s459, s515, s530, s531, s533, s534}, 4: {s56, s57, s58, s59, s60, s65, s66, s67, s69, s70, s71, s94, s96, s97, s98, s101, s102, s105, s110, s111, s113, s120, s128, s132, s133, s159, s160, s161, s165, s166, s175, s176, s177, s180, s191, s194, s195, s199, s201, s223, s224, s225, s244, s245, s247, s248, s249, s254, s255, s256, s257, s258, s262, s265, s268, s271, s275, s276, s280, s281, s287, s296, s301, s302, s305, s308, s309, s312, s315, s316, s318, s319, s324, s329, s330, s346, s350, s351, s358, s359, s360, s361, s366, s367, s368, s369, s370, s374, s377, s379, s382, s385, s386, s389, s390, s394, s396, s400, s401, s404, s408, s409, s413, s416, s417, s420, s421, s422, s425, s428, s429, s431, s432, s435, s438, s439, s447, s449, s453, s454, s457, s463, s464, s465, s468, s469, s474, s475, s476, s477, s481, s482, s485, s486, s490, s493, s494, s497, s498, s501, s504, s505, s508, s509, s510, s518, s519, s522, s525, s526, s528, s529}, 5: {s229, s234, s240, s250, s251, s272, s273, s352, s353, s356, s362, s363, s383, s384, s460, s461, s466, s491, s511, s517}, 6: {s78, s82, s83, s87, s92, s144, s147, s148, s152, s154, s259, s260, s261, s263, s264, s266, s278, s279, s282, s285, s286, s310, s311, s313, s314, s317, s320, s321, s327, s328, s331, s371, s372, s373, s375, s376, s378, s387, s388, s391, s392, s393, s423, s424, s426, s427, s430, s433, s434, s436, s437, s440, s467, s470, s471, s472, s473, s478, s479, s480, s483, s484, s487, s488, s489, s495, s496, s499, s500, s502, s503, s506, s512, s513, s520, s521, s523, s524, s527, s532, s535}, 8: {s252, s253, s269, s270, s299, s300, s303, s304, s364, s365, s380, s381, s398, s399, s402, s403, s414, s415, s418, s419, s451, s452, s455, s456}, 9: {s1, s2, s3, s5, s6, s7, s8, s9, s10, s11, s12, s14, s16, s17, s19, s20, s23, s41, s42, s44, s50, s103, s104, s106, s107, s138, s139, s140, s142, s155, s156, s181, s182, s183, s184, s185, s189, s202, s206, s207, s208, s213, s215, s216, s218, s219, s231, s232, s235, s241, s242, s243, s267, s283, s284, s288, s289, s292, s293, s332, s333, s334, s335, s336, s339, s341, s342, s344, s347, s348, s349, s354, s355, s357, s405, s406, s407, s410, s411, s412, s441, s443, s444, s445, s462, s492, s507, s514, s516}
Clear All Download