According to the abstract to "YACC: Yet Another Compiler Compiler", by Stephen C. Johnson, Bell Labs (the long documentation, for those who have not seen it) The class of specifications accepted is a very general one: LALR(1) grammars with disambiguating rules. YACC does not claim to be LR(1). Eric Hughes hughes at math.berkeley.edu