View this language class, its ancestors, and its descendants in the "Containment Lattice".
Automaton Type: Nondeterministic Büchi
#1 ID: 555 Author: GOAL #2 ID: 554 Author: GOAL #3N/A
St: 6 Tr: 84 Date: 2010-01-12 00:00:00 St: 8 Tr: 128 Date: 2010-01-12 00:00:00
Description: Description:
Download: GFF   Promela   Add to Cart Download: GFF   Promela   Add to Cart
Acceptance condition:
{s1, s2, s5} 		Acceptance condition:
{s2, s4, s6}
Automaton Type: Deterministic Büchi
#1 ID: 2536 Author: GOAL #2N/A#3N/A
St: 5 Tr: 80 Date: 2011-12-07 00:00:00
Description:
Download: GFF   Promela   Add to Cart
Acceptance condition:
{s0, s1, s2, s3}
Automaton Type: Nondeterministic Co-Büchi
#1 ID: 2270 Author: GOAL #2 ID: 2269 Author: GOAL #3N/A
St: 16 Tr: 256 Date: 2011-12-07 00:00:00 St: 103 Tr: 1648 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{s0, s5, s7, s15} 		Acceptance condition:
{s0, s7, s8, s9, s14, s15, s16, s17, s18, s38, s58}
Automaton Type: Deterministic Co-Büchi
#1 ID: 2270 Author: GOAL #2 ID: 2269 Author: GOAL #3N/A
St: 16 Tr: 256 Date: 2011-12-07 00:00:00 St: 103 Tr: 1648 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{s0, s5, s7, s15} 		Acceptance condition:
{s0, s7, s8, s9, s14, s15, s16, s17, s18, s38, s58}
Automaton Type: Nondeterministic Muller
#1 ID: 961 Author: GOAL #2 ID: 960 Author: GOAL #3N/A
St: 6 Tr: 84 Date: 2011-12-07 00:00:00 St: 8 Tr: 128 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{ {s1}, {s2} } 		Acceptance condition:
{ {s3, s4}, {s6, s7} }
Automaton Type: Nondeterministic Rabin
#1 ID: 1283 Author: GOAL #2 ID: 1282 Author: GOAL #3N/A
St: 6 Tr: 84 Date: 2011-12-07 00:00:00 St: 8 Tr: 128 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{ (∅, {s1, s2, s5}) } 		Acceptance condition:
{ (∅, {s2, s4, s6}) }
Automaton Type: Nondeterministic Streett
#1 ID: 1608 Author: GOAL #2 ID: 1607 Author: GOAL #3N/A
St: 6 Tr: 84 Date: 2011-12-07 00:00:00 St: 8 Tr: 128 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{ ({s1, s2, s5}, {s0, s1, s2, s3, s4, s5}) } 		Acceptance condition:
{ ({s2, s4, s6}, {s0, s1, s2, s3, s4, s5, s6, s7}) }
Automaton Type: Nondeterministic Parity
#1 ID: 1933 Author: GOAL #2 ID: 1932 Author: GOAL #3N/A
St: 6 Tr: 84 Date: 2011-12-07 00:00:00 St: 8 Tr: 128 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
0: {s1, s2, s5}, 1: {s0, s3, s4} 		Acceptance condition:
0: {s2, s4, s6}, 1: {s0, s1, s3, s5, s7}
Automaton Type: Deterministic Parity
#1 ID: 2787 Author: GOAL #2 ID: 2786 Author: GOAL #3N/A
St: 31 Tr: 496 Date: 2011-12-07 00:00:00 St: 393 Tr: 6288 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
0: {s0, s1, s2, s7, s8}, 1: {s20}, 2: {s5, s6, s9, s10, s11, s12, s13, s14, s15, s16, s17, s19, s21, s22, s23, s24, s25, s26, s27, s28, s29}, 3: {s3, s4, s18, s30} 		Acceptance condition:
0: {s0, s1, s4, s9, s14, s19, s24, s33, s34, s53, s84, s123}, 1: {s7, s8, s15, s16, s17, s18, s29, s30, s31, s32, s39, s40, s43, s44, s45, s46, s51, s52, s56, s57, s60, s61}, 2: {s12, s13, s25, s26, s27, s28, s41, s42, s54, s55, s62, s63, s65, s78, s81, s106, s107, s108, s109, s124, s125, s126, s127, s130, s131, s132, s133, s136, s137, s140, s142, s143, s146, s147, s154, s155, s158, s159, s211, s212, s217, s218, s219, s220, s223, s224, s227, s229, s230, s235, s236, s238, s239, s242, s244, s245, s248, s249, s252}, 3: {s113, s114, s115, s116, s117, s118, s161, s163, s165, s167, s173, s175, s179, s181, s196, s198, s204, s205, s266, s267, s268, s269, s284, s285, s292, s293, s296, s297, s351, s352, s353, s354, s355, s356, s357, s358, s361, s362, s384, s385, s386, s387, s388, s389, s390, s391}, 4: {s66, s67, s70, s76, s77, s87, s88, s89, s90, s97, s98, s100, s101, s104, s169, s170, s171, s172, s177, s178, s183, s185, s186, s191, s192, s194, s195, s200, s246, s247, s250, s251, s253, s274, s275, s276, s277, s282, s283, s290, s291, s298, s299, s301, s304, s307, s308, s309, s310, s311, s316, s317, s318, s319, s322, s323, s324, s325, s328, s329, s332, s334, s335, s338, s339, s345, s346, s349, s350, s365, s366, s367, s368, s371, s372, s375, s377, s378, s381, s382}, 5: {s37, s38, s92, s93, s94, s95, s96, s99, s119, s120, s121, s122, s149, s150, s151, s152, s156, s157, s176, s187, s188, s189, s190, s193, s222, s231, s232, s233, s234, s237, s280, s281, s312, s313, s314, s315, s341, s342, s343, s344, s347, s348, s370, s379, s380, s383}, 6: {s47, s48, s49, s50, s58, s59, s64, s68, s69, s71, s72, s73, s79, s80, s102, s103, s105, s180, s182, s184, s197, s199, s201, s225, s226, s228, s240, s241, s243, s286, s287, s288, s289, s294, s295, s300, s302, s303, s305, s306, s373, s374, s376}, 7: {s135, s144, s145, s148, s327, s336, s337, s340}, 8: {s138, s139, s141, s330, s331, s333}, 9: {s2, s3, s5, s6, s10, s11, s20, s21, s22, s23, s35, s36, s74, s75, s82, s83, s85, s86, s91, s110, s111, s112, s128, s129, s134, s153, s160, s162, s164, s166, s168, s174, s202, s203, s206, s207, s208, s209, s210, s213, s214, s215, s216, s221, s254, s255, s256, s257, s258, s259, s260, s261, s262, s263, s264, s265, s270, s271, s272, s273, s278, s279, s320, s321, s326, s359, s360, s363, s364, s369, s392}