title: Context-sensitive grammar for specific language
body: <p>How can I construct a grammar that generates this language?
  Construct a grammar that generates L:</p>
  
  <pre><code>L = {a^n b^m c^k|k&gt;n, k&gt;m}
  </code></pre>
  
  <p>I believe my productions should go along this lines:</p>
  
  <pre><code>S-&gt; ABCC
  A-&gt; a|aBC|BC
  B-&gt; b|bBC
  C-&gt; c|Cc
  CB-&gt;BC
  </code></pre>
  
  <p>The idea is to start with 2 c and keep always one more c, and then with C->c|Cc ad as much c as i want. 
  How can my production for C remember the numbers of m and n.</p>