The top documents tagged [finite set of tape symbols]