Equivalent

Complement

Classification

Temporal Hierarchy
Guarantee
Spec Patterns
Unknown
DBW-Recognizable
Yes
View this language class, its ancestors, and its descendants in the "Containment Lattice".
Automaton Type: Nondeterministic Büchi
#1 ID: 75 Author: GOAL #2 ID: 74 Author: GOAL #3 ID: 73 Author: GOAL
St: 4 Tr: 21 Date: 2010-01-12 00:00:00 St: 6 Tr: 43 Date: 2010-01-12 00:00:00 St: 8 Tr: 64 Date: 2010-01-12 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, s2} 		Acceptance condition:
{s1, s3} 		Acceptance condition:
{s1, s3, s5}
Automaton Type: Deterministic Büchi
#1 ID: 2461 Author: GOAL #2N/A#3N/A
St: 5 Tr: 40 Date: 2011-12-07 00:00:00
Description:
Download: GFF   Promela   Add to Cart
Acceptance condition:
{s0, s2}
Automaton Type: Nondeterministic Co-Büchi
#1 ID: 2151 Author: GOAL #2 ID: 2150 Author: GOAL #3 ID: 2149 Author: GOAL
St: 11 Tr: 88 Date: 2011-12-07 00:00:00 St: 17 Tr: 136 Date: 2011-12-07 00:00:00 St: 19 Tr: 152 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, s1, s6, s10} 		Acceptance condition:
{s0, s1, s6, s7} 		Acceptance condition:
{s0, s1, s6, s7}
Automaton Type: Deterministic Co-Büchi
#1 ID: 2151 Author: GOAL #2 ID: 2150 Author: GOAL #3 ID: 2149 Author: GOAL
St: 11 Tr: 88 Date: 2011-12-07 00:00:00 St: 17 Tr: 136 Date: 2011-12-07 00:00:00 St: 19 Tr: 152 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, s1, s6, s10} 		Acceptance condition:
{s0, s1, s6, s7} 		Acceptance condition:
{s0, s1, s6, s7}
Automaton Type: Nondeterministic Muller
#1 ID: 802 Author: GOAL #2 ID: 801 Author: GOAL #3 ID: 800 Author: GOAL
St: 4 Tr: 21 Date: 2011-12-07 00:00:00 St: 6 Tr: 43 Date: 2011-12-07 00:00:00 St: 8 Tr: 64 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} } 		Acceptance condition:
{ {s3, s4} } 		Acceptance condition:
{ {s1, s2}, {s3, s4}, {s0, s5}, {s5, s6}, {s0, s5, s6}, {s0, s5, s7}, {s5, s6, s7}, {s0, s5, s6, s7} }
Automaton Type: Nondeterministic Rabin
#1 ID: 1124 Author: GOAL #2 ID: 1123 Author: GOAL #3 ID: 1122 Author: GOAL
St: 4 Tr: 21 Date: 2011-12-07 00:00:00 St: 6 Tr: 43 Date: 2011-12-07 00:00:00 St: 8 Tr: 64 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, s2}) } 		Acceptance condition:
{ (∅, {s1, s3}) } 		Acceptance condition:
{ (∅, {s1, s3, s5}) }
Automaton Type: Nondeterministic Streett
#1 ID: 1449 Author: GOAL #2 ID: 1448 Author: GOAL #3 ID: 1447 Author: GOAL
St: 4 Tr: 21 Date: 2011-12-07 00:00:00 St: 6 Tr: 43 Date: 2011-12-07 00:00:00 St: 8 Tr: 64 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, s2}, {s0, s1, s2, s3}) } 		Acceptance condition:
{ ({s1, s3}, {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: 1774 Author: GOAL #2 ID: 1773 Author: GOAL #3 ID: 1772 Author: GOAL
St: 4 Tr: 21 Date: 2011-12-07 00:00:00 St: 6 Tr: 43 Date: 2011-12-07 00:00:00 St: 8 Tr: 64 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, s2}, 1: {s0, s3} 		Acceptance condition:
0: {s1, s3}, 1: {s0, s2, s4, s5} 		Acceptance condition:
0: {s1, s3, s5}, 1: {s0, s2, s4, s6, s7}
Automaton Type: Deterministic Parity
#1 ID: 2630 Author: GOAL #2 ID: 2629 Author: GOAL #3 ID: 2628 Author: GOAL
St: 14 Tr: 112 Date: 2011-12-07 00:00:00 St: 43 Tr: 344 Date: 2011-12-07 00:00:00 St: 325 Tr: 2600 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, s2}, 2: {s6, s8, s9, s10, s11}, 3: {s12, s13}, 5: {s1, s3, s4, s5, s7} 		Acceptance condition:
0: {s0, s4, s10, s13, s16, s21, s22, s25, s28}, 2: {s14, s15, s19}, 3: {s34}, 4: {s20, s29, s30, s37, s38, s41}, 5: {s40}, 6: {s31, s39, s42}, 7: {s1, s2, s3, s5, s6, s7, s8, s9, s11, s12, s17, s18, s23, s24, s26, s27, s32, s33, s35, s36} 		Acceptance condition:
0: {s0, s4, s10, s11, s12, s15, s16, s29, s30, s163, s296}, 2: {s101, s102, s105, s106, s109, s110, s113, s114, s116, s117, s121, s122, s125, s126, s129, s130, s134, s135, s137, s138, s139, s142, s143, s145, s146, s149, s150, s152, s153, s157, s161, s164, s166, s179, s180, s181, s184, s185, s188, s189, s192, s193, s195, s196, s198, s199, s202, s203}, 3: {s18, s49, s53, s57, s59, s68, s72, s76, s168, s259}, 4: {s21, s22, s25, s26, s31, s32, s34, s35, s40, s41, s50, s54, s58, s60, s61, s63, s64, s66, s67, s69, s73, s77, s86, s87, s95, s140, s141, s144, s147, s148, s151, s154, s155, s156, s158, s159, s160, s162, s165, s174, s213, s214, s217, s218, s221, s223, s224, s227, s228, s231, s234, s235, s245, s246, s248, s249, s262, s263, s266, s267, s269, s270, s272, s273, s278, s279, s282, s283, s286, s291, s295, s307, s308, s316, s324}, 5: {s23, s24, s48, s78, s79, s89, s90, s91, s104, s136, s170, s186, s187, s204, s206, s212, s238, s253, s254, s302, s309, s310, s320}, 6: {s38, s39, s51, s52, s55, s56, s65, s82, s83, s92, s107, s108, s111, s112, s115, s118, s119, s120, s132, s133, s167, s172, s173, s191, s197, s200, s201, s205, s215, s216, s219, s220, s222, s225, s226, s232, s233, s241, s242, s250, s251, s252, s276, s277, s281, s285, s289, s290, s292, s293, s305, s306, s312, s313, s321}, 7: {s33, s42, s71, s81, s88, s97, s124, s131, s169, s240, s247, s271, s280, s311, s319}, 8: {s36, s37, s62, s74, s75, s84, s85, s93, s94, s127, s128, s194, s229, s230, s236, s243, s244, s274, s275, s284, s294, s314, s315, s322, s323}, 9: {s27, s70, s80, s96, s123}, 11: {s1, s2, s3, s5, s6, s7, s8, s9, s13, s14, s17, s19, s20, s28, s43, s44, s45, s46, s47, s98, s99, s100, s103, s171, s175, s176, s177, s178, s182, s183, s190, s207, s208, s209, s210, s211, s237, s239, s255, s256, s257, s258, s260, s261, s264, s265, s268, s287, s288, s297, s298, s299, s300, s301, s303, s304, s317, s318}