Equivalent

Complement

Classification

Temporal Hierarchy
Persistence
Spec Patterns
Precedence
DBW-Recognizable
Yes
View this language class, its ancestors, and its descendants in the "Containment Lattice".
Automaton Type: Nondeterministic Büchi
#1 ID: 550 Author: GOAL #2 ID: 549 Author: GOAL #3N/A
St: 5 Tr: 42 Date: 2010-01-12 00:00:00 St: 8 Tr: 86 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} 		Acceptance condition:
{s1, s4, s6}
Automaton Type: Nondeterministic Co-Büchi
#1 ID: 2266 Author: GOAL #2 ID: 2265 Author: GOAL #3N/A
St: 10 Tr: 80 Date: 2011-12-07 00:00:00 St: 63 Tr: 504 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{s0, s2, s6} 		Acceptance condition:
{s0, s5, s30, s32, s34}
Automaton Type: Deterministic Co-Büchi
#1 ID: 2266 Author: GOAL #2 ID: 2265 Author: GOAL #3N/A
St: 10 Tr: 80 Date: 2011-12-07 00:00:00 St: 63 Tr: 504 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{s0, s2, s6} 		Acceptance condition:
{s0, s5, s30, s32, s34}
Automaton Type: Nondeterministic Muller
#1 ID: 956 Author: GOAL #2 ID: 955 Author: GOAL #3N/A
St: 5 Tr: 42 Date: 2011-12-07 00:00:00 St: 8 Tr: 86 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: 1278 Author: GOAL #2 ID: 1277 Author: GOAL #3N/A
St: 5 Tr: 42 Date: 2011-12-07 00:00:00 St: 8 Tr: 86 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:
{ (∅, {s1, s4, s6}) }
Automaton Type: Nondeterministic Streett
#1 ID: 1603 Author: GOAL #2 ID: 1602 Author: GOAL #3N/A
St: 5 Tr: 42 Date: 2011-12-07 00:00:00 St: 8 Tr: 86 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
{ ({s1, s2}, {s0, s1, s2, s3, s4}) } 		Acceptance condition:
{ ({s1, s4, s6}, {s0, s1, s2, s3, s4, s5, s6, s7}) }
Automaton Type: Nondeterministic Parity
#1 ID: 1928 Author: GOAL #2 ID: 1927 Author: GOAL #3N/A
St: 5 Tr: 42 Date: 2011-12-07 00:00:00 St: 8 Tr: 86 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
0: {s1, s2}, 1: {s0, s3, s4} 		Acceptance condition:
0: {s1, s4, s6}, 1: {s0, s2, s3, s5, s7}
Automaton Type: Deterministic Parity
#1 ID: 2782 Author: GOAL #2 ID: 2781 Author: GOAL #3N/A
St: 14 Tr: 112 Date: 2011-12-07 00:00:00 St: 256 Tr: 2048 Date: 2011-12-07 00:00:00
Description: Description:
Download: GFF   Add to Cart Download: GFF   Add to Cart
Acceptance condition:
0: {s0, s1}, 1: {s5, s8, s10}, 2: {s4, s6, s7, s9, s11}, 3: {s2, s3, s12, s13} 		Acceptance condition:
0: {s0}, 1: {s9, s10, s11, s12, s95, s96, s99, s101, s103, s106, s108, s113, s115, s119, s122, s124, s129, s133, s135, s151, s153, s159, s161, s187, s189, s192, s194, s200, s202, s207, s212, s216, s217, s219, s226, s235, s240, s246, s247}, 2: {s16, s17, s21, s22, s25, s27, s28, s30, s31, s35, s36, s43, s44, s45, s46, s48, s49, s50, s55, s57, s60, s64, s67, s70, s71, s73, s74, s75, s79, s82, s83, s84, s86, s87, s89, s90, s91, s100, s102, s107, s111, s112, s116, s117, s126, s127, s130, s134, s136, s137, s138, s139, s143, s145, s146, s149, s152, s157, s158, s167, s168, s169, s170, s171, s172, s175, s177, s178, s179, s184, s185, s195, s196, s198, s203, s204, s205, s209, s210, s213, s220, s223, s224, s227, s230, s231, s232, s236, s237, s241, s242, s243, s251, s254, s255}, 3: {s13, s15, s32, s53, s58, s61, s77, s121, s123, s125, s180, s214, s233, s238, s244, s250}, 4: {s18, s19, s20, s23, s24, s26, s29, s33, s37, s38, s51, s52, s54, s56, s59, s80, s81, s85, s88, s92, s93, s128, s131, s132, s140, s141, s142, s144, s147, s148, s150, s154, s155, s156, s160, s173, s174, s176, s181, s182, s186, s188, s190, s191, s193, s197, s199, s201, s206, s208, s218, s221, s222, s225, s234, s252, s253}, 5: {s66, s105}, 6: {s68, s69, s72, s76, s78, s109, s110, s114, s118, s120, s211, s215, s245}, 7: {s1, s2, s3, s4, s5, s6, s7, s8, s14, s34, s39, s40, s41, s42, s47, s62, s63, s65, s94, s97, s98, s104, s162, s163, s164, s165, s166, s183, s228, s229, s239, s248, s249}