Add builder pattern to NFAState