Class DfaBuilder