title: Determine the language describe by the CFG
body: <pre><code>S -&gt; 1A
  A -&gt; 0B | 1A | epsilon
  B -&gt; 0C | 1B
  C -&gt; 0A | 1C
  </code></pre>
  
  <p>I was thinking that the language described by this grammar is the following:
  L = {0,1 | w string contains 1+ OR it has at least three 0's}</p>
  
  <p>Does this seem correct?</p>