The top documents tagged [formal language theory13]