simonDfa