Sorted by


Refresh


Filtered by

Automaton Type

Select / Deselect All














State Size

Select / Deselect All






Formula Length

Select / Deselect All






Temporal Hierarchy

Select / Deselect All








Spec Patterns

Select / Deselect All











Refresh


Grouped By


Refresh

View the filtered language classes in the "Containment Lattice"
F (p ∧ X (p ∧ X (p ∧ X p))) ∧ F (q ∧ X (q ∧ X (q ∧ X q))) Equivalent: F (p ∧ X (p ∧ X (p ∧ X p))) ∧ F (q ∧ X (q ∧ X (q ∧ X q)))
Complement:
DBW
F (p1 ∧ F (p2 ∧ F (p3 ∧ F p4))) ∧ F (q1 ∧ F (q2 ∧ F (q3 ∧ F q4))) Equivalent: F (p1 ∧ F (p2 ∧ F (p3 ∧ F p4))) ∧ F (q1 ∧ F (q2 ∧ F (q3 ∧ F q4)))
Complement:
DBW
F (p ∧ X (p ∧ X (p ∧ X (p ∧ X p)))) ∧ F (q ∧ X (q ∧ X (q ∧ X (q ∧ X q)))) Equivalent: F (p ∧ X (p ∧ X (p ∧ X (p ∧ X p)))) ∧ F (q ∧ X (q ∧ X (q ∧ X (q ∧ X q))))
Complement:
DBW
F (p1 ∧ F (p2 ∧ F (p3 ∧ F (p4 ∧ F p5)))) ∧ F (q1 ∧ F (q2 ∧ F (q3 ∧ F (q4 ∧ F q5)))) Equivalent: F (p1 ∧ F (p2 ∧ F (p3 ∧ F (p4 ∧ F p5)))) ∧ F (q1 ∧ F (q2 ∧ F (q3 ∧ F (q4 ∧ F q5))))
Complement:
DBW
F (p ∧ X (p ∧ X (p ∧ X (p ∧ X (p ∧ X p))))) ∧ F (q ∧ X (q ∧ X (q ∧ X (q ∧ X (q ∧ X q))))) Equivalent: F (p ∧ X (p ∧ X (p ∧ X (p ∧ X (p ∧ X p))))) ∧ F (q ∧ X (q ∧ X (q ∧ X (q ∧ X (q ∧ X q)))))
Complement:
DBW