https://123dok.net/document/zpnkrjm7-reachability-and-error-diagnosis-in-lr-parsers.html