NFA for SLR