Cezar Câmpeanu Nicolae Santean Sheng Yu Large NFA Without Mergeable States. 75-84 2005 DCFS conf/dcfs/2005 db/conf/dcfs/dcfs2005.html#CampeanuSY05