Question: Semantics

[nmanginas]

Hi many thanks for the tool. I am trying to convert the formula (WX(a) <-> b) for which the automaton is this:

Shouldn't the string "~b", i.e. not b be accepted here? Am I missing something?

Thanks