Büchi Store

Equivalent

F (p ∧ X (p ∧ X (p ∧ X (p ∧ X p)))) ∧ F (q ∧ X (q ∧ X (q ∧ X (q ∧ X q))))

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: 3014		Author: GOAL	#2	N/A			#3	N/A
St: 36		Tr: 121	Date: 2012-06-04 17:00:00
Description:
Download: GFF Promela Add to Cart
Acceptance condition: s15

Automaton Type: Deterministic Büchi
#1	ID: 3014		Author: GOAL	#2	N/A			#3	N/A
St: 36		Tr: 121	Date: 2012-06-04 17:00:00
Description:
Download: GFF Promela Add to Cart
Acceptance condition: s15