title: Definition of Shift/Reduce conflict in LR(1) parsing
body: <p>Is it correct to state:</p>
  
  <p>" A shift reduce conflict occurs in an LR(1) parser if and only if there exist items: </p>
  
  <p>A -> alpha .</p>
  
  <p>A -> alpha . beta</p>
  
  <p>such that Follow(A) is not disjoint from First(beta).</p>
  
  <p>where A is a non-terminal, alpha and beta are possibly empty sequences of grammar symbols."</p>
  
  <p>(Intuitively this is because there is no way to determine, based on the top of the stack and the lookahead, whether it is appropriate to shift or reduce)</p>
  
  <p>Note: If you guys think this depends on any specifics of the definition of first/follow comment and I will provide.</p>