https://9pdf.info/document/q2n9g11r-a-task-driven-grammar-refactoring-algorithm.html