The top documents tagged [nondetermistic tm]