The top documents tagged [proveregular languages]