The top documents tagged [basic formal languages]