Add config input reader
Add DFAState