Added DFAConfiguration class