Deterministic class as intersection of existential and universal classes
Determine whether, for each n ≥ 1, the deterministic class Δn of subshifts recognized by plane-walking automata with at most n−1 quantifier blocks equals the intersection Σn ∩ Πn.
References
We do not know whether Σn ∩ Πn= Δn.
                — Subshifts defined by nondeterministic and alternating plane-walking automata
                
                (2409.08024 - Menibus et al., 12 Sep 2024) in Section 4.1 (Definitions)