  The zero divisor conjecture is sufficient to prove for certain class of
finitely presented groups where the relations are given by a pairing of
generators. We associate Mealy automata to such pairings, and prove that the
zero divisor conjecture holds for groups corresponding to invertible automata
with three states. In particular, there cannot be zero divisors of support
three corresponding to invertible pairings.
