modifica NFA, introduce array de automatas