The top documents tagged [formal models of language]