Büchi Store

Equivalent

F G p ∨ F G q ∨ F G r ∨ F G s

Complement

Classification

Temporal Hierarchy
Unknown

Spec Patterns
Unknown

DBW-Recognizable
Unknown

View this language class, its ancestors, and its descendants in the "Containment Lattice".

Automaton Type: Nondeterministic Büchi
#1	ID: 3024		Author: GOAL	#2	N/A			#3	N/A
St: 5		Tr: 9	Date: 2012-06-04 17:00:00
Description:
Download: GFF Promela Add to Cart
Acceptance condition: s1, s2, s3, s4

Automaton Type: Deterministic Büchi
#1	ID: 3024		Author: GOAL	#2	N/A			#3	N/A
St: 5		Tr: 9	Date: 2012-06-04 17:00:00
Description:
Download: GFF Promela Add to Cart
Acceptance condition: s1, s2, s3, s4