some comments about conversion and subset construction were added