View this language class, its ancestors, and its descendants in the "Containment Lattice".
Automaton Type: Nondeterministic Büchi
#1 ID: 630 Author: GOAL #2 ID: 629 Author: GOAL #3 ID: 628 Author: GOAL
St: 4 Tr: 118 Date: 2010-01-19 00:00:00 St: 6 Tr: 208 Date: 2010-01-19 00:00:00 St: 8 Tr: 312 Date: 2010-01-19 00:00:00
Description: Description: Description:
Download: GFF   Promela   Add to Cart Download: GFF   Promela   Add to Cart Download: GFF   Promela   Add to Cart
Acceptance condition:
{s1, s3} 		Acceptance condition:
{s1, s3, s5} 		Acceptance condition:
{s1, s3, s5}
Automaton Type: Nondeterministic Co-Büchi
#1 ID: 2295 Author: GOAL #2 ID: 2294 Author: GOAL #3 ID: 2293 Author: GOAL
St: 11 Tr: 352 Date: 2011-12-07 00:00:00 St: 44 Tr: 1408 Date: 2011-12-07 00:00:00 St: 83 Tr: 2656 Date: 2011-12-07 00:00:00
Description: Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{s0, s3, s4, s5} 		Acceptance condition:
{s0, s3, s4, s19, s20, s21, s23, s24, s26, s28, s36, s38, s39, s41} 		Acceptance condition:
{s0, s7, s8, s13, s15, s18, s19, s22, s25, s27, s67, s69, s71, s73}
Automaton Type: Deterministic Co-Büchi
#1 ID: 2295 Author: GOAL #2 ID: 2294 Author: GOAL #3 ID: 2293 Author: GOAL
St: 11 Tr: 352 Date: 2011-12-07 00:00:00 St: 44 Tr: 1408 Date: 2011-12-07 00:00:00 St: 83 Tr: 2656 Date: 2011-12-07 00:00:00
Description: Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{s0, s3, s4, s5} 		Acceptance condition:
{s0, s3, s4, s19, s20, s21, s23, s24, s26, s28, s36, s38, s39, s41} 		Acceptance condition:
{s0, s7, s8, s13, s15, s18, s19, s22, s25, s27, s67, s69, s71, s73}
Automaton Type: Nondeterministic Muller
#1 ID: 1002 Author: GOAL #2 ID: 1001 Author: GOAL #3 ID: 1000 Author: GOAL
St: 4 Tr: 118 Date: 2011-12-07 00:00:00 St: 6 Tr: 208 Date: 2011-12-07 00:00:00 St: 8 Tr: 312 Date: 2011-12-07 00:00:00
Description: Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{ {s1}, {s3} } 		Acceptance condition:
{ {s1}, {s3} } 		Acceptance condition:
{ {s3, s4}, {s5, s6} }
Automaton Type: Nondeterministic Rabin
#1 ID: 1324 Author: GOAL #2 ID: 1323 Author: GOAL #3 ID: 1322 Author: GOAL
St: 4 Tr: 118 Date: 2011-12-07 00:00:00 St: 6 Tr: 208 Date: 2011-12-07 00:00:00 St: 8 Tr: 312 Date: 2011-12-07 00:00:00
Description: Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{ (∅, {s1, s3}) } 		Acceptance condition:
{ (∅, {s1, s3, s5}) } 		Acceptance condition:
{ (∅, {s1, s3, s5}) }
Automaton Type: Nondeterministic Streett
#1 ID: 1649 Author: GOAL #2 ID: 1648 Author: GOAL #3 ID: 1647 Author: GOAL
St: 4 Tr: 118 Date: 2011-12-07 00:00:00 St: 6 Tr: 208 Date: 2011-12-07 00:00:00 St: 8 Tr: 312 Date: 2011-12-07 00:00:00
Description: Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{ ({s1, s3}, {s0, s1, s2, s3}) } 		Acceptance condition:
{ ({s1, s3, s5}, {s0, s1, s2, s3, s4, s5}) } 		Acceptance condition:
{ ({s1, s3, s5}, {s0, s1, s2, s3, s4, s5, s6, s7}) }
Automaton Type: Nondeterministic Parity
#1 ID: 1974 Author: GOAL #2 ID: 1973 Author: GOAL #3 ID: 1972 Author: GOAL
St: 4 Tr: 118 Date: 2011-12-07 00:00:00 St: 6 Tr: 208 Date: 2011-12-07 00:00:00 St: 8 Tr: 312 Date: 2011-12-07 00:00:00
Description: Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
0: {s1, s3}, 1: {s0, s2} 		Acceptance condition:
0: {s1, s3, s5}, 1: {s0, s2, s4} 		Acceptance condition:
0: {s1, s3, s5}, 1: {s0, s2, s4, s6, s7}
Automaton Type: Deterministic Parity
#1 ID: 2826 Author: GOAL #2 ID: 2825 Author: GOAL #3 ID: 2824 Author: GOAL
St: 12 Tr: 384 Date: 2011-12-07 00:00:00 St: 102 Tr: 3264 Date: 2011-12-07 00:00:00 St: 536 Tr: 17152 Date: 2011-12-07 00:00:00
Description: Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
0: {s0, s1, s7}, 1: {s5, s8}, 2: {s6, s9, s10, s11}, 3: {s2, s3, s4} 		Acceptance condition:
0: {s0, s1, s14}, 1: {s68, s70, s72, s73, s76, s84, s86, s87, s88, s90, s91, s93, s95, s97, s98, s100}, 2: {s9, s18, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54, s55, s69, s71, s74, s75, s77, s78, s79, s80, s81, s82, s83, s85, s89, s92, s94, s96, s99, s101}, 3: {s10, s12, s15, s19, s57, s58, s59, s60, s62, s63, s64}, 4: {s13, s16, s17, s20, s21, s22, s23, s24, s25, s26, s27, s28, s56}, 5: {s2, s3, s4, s5, s6, s7, s8, s11, s61, s65, s66, s67} 		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}