title: Chomsky Normal Form correctness
body: <p>I have these productions:</p>
  
  <pre><code>S-&gt;aSb
  S-&gt; eps      (eps=empty string)
  </code></pre>
  
  <p>I should apply the Chomsky Normal Form</p>
  
  <p>My reasoning:</p>
  
  <p>1) eliminate the eps rules
  Given:</p>
  
  <pre><code>S-&gt;aSb
  S-&gt; eps
  </code></pre>
  
  <p>I get: </p>
  
  <pre><code>S-&gt;ab
  
  S-&gt;aSb
  </code></pre>
  
  <p>2) eliminate the unit rules </p>
  
  <p>There are none</p>
  
  <p>3) remove useless symbols</p>
  
  <p>I get: </p>
  
  <pre><code>S-&gt;ab
  </code></pre>
  
  <p>So, the given grammar after applying CNF (Chomsky Normal Form) becomes:</p>
  
  <pre><code>S-&gt;ab
  </code></pre>
  
  <p>Am I right?</p>