Implemented Builder pattern for DFAState