Add builder to NFAState

yoyo