Reachability and error diagnosis in LR(1) parsers https://gallium.inria.fr/~fpottier/publis/fpottier-reachability-cc2016.pdf —interesting discussion of syntax error messages, used in compcert