title: Follow sets for self-recursive rules
body: <p>Alright, I'm trying to understand follow sets and I think I got it except for one thing:</p>
  
  <pre><code>X -&gt; a X
  X -&gt; b X
  X -&gt; epsilon
  </code></pre>
  
  <p>Following the rules of <a href="http://www.jambe.co.nz/UNI/FirstAndFollowSets.html" rel="nofollow noreferrer">this page</a>, FOLLOW(X) should contains $, the end of file character (rule 1). Then, following rule 3, FOLLOW(X) contains everything of FOLLOW(X) which makes my brain melt.</p>
  
  <p>To me, intuitively, FOLLOW(X) should be {a,b,$}, but trying this example in <a href="http://www.atocc.de/" rel="nofollow noreferrer">kfg Edit</a> gives me only {$}. Why?</p>