Add NFA simulation