Added some comments to RDPNFA
Changed top() == null to return epsilon instead of null