title: Is LR(2) parser a subset of LL(3)?
body: <p>I'm asked if LL(3) is a subset of LR(2) and vice versa.</p>
  
  <p>I succeeded to prove that LL(3) is not a subset of LR(2):</p>
  
  <p>In LL(3) we can recognize the rule after reading 3 characters past the beginning.</p>
  
  <p>In LR(2) we can recognize the rule after reading 2 characters past the end.</p>
  
  <p>Thus, say the rule is empty (upsilon) then LL(3) would give us more information than LR(2) would. Therefor, LL(3) is not contained within LR(2).</p>
  
  <p>How do I prove the other way?</p>