The top documents tagged [formal language theory31a1]