in . , nfaSr}