The use of syntax trees in order to automate the correction of LATEX documents

The problem is to automate the correction of L^AT_EX documents. Each document is represented as a parse tree. The modified Zhang-Shasha algorithm is used to construct a mapping of tree vertices of the original document to the tree vertices of the edited document, which corresponds to the minimum editing distance. Vertex to vertex maps form the training set, which is used to generate rules for automatic correction. The statisticsof the applicability to the edited documents is collected for each rule. It is used for quality assessment andimprovement of the rules.