if(nfaState.isStart()){
    curr.setStart(true);
}