Delete NFA.js