Test NFA done. Implementing SLR