Regular languages defined by first-order formulas without quantifier alternation

08/22/2022
by   Andreas Krebs, et al.
0

We give a simple new proof that regular languages defined by first-order sentences with no quantifier alteration can be defined by such sentences in which only regular atomic formulas appear. Earlier proofs of this fact relied on arguments from circuit complexity or algebra. Our proof is much more elementary, and uses only the most basic facts about finite automata.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset