Title: Automatic error recovery for LR parsers in theory and practice