 Knuth proved that LR parsers were the most general-purpose parsers possible that would still be efficient in the worst cases.In other words, if a language was reasonable enough to allow an efficient one-pass parser, it could be described by an LR("k") grammar.And that grammar could always be mechanically transformed into an equivalent (but larger) LR(1) grammar.