title: Need a Context-Free grammar with 5 times as many of one character as the other
body: <p>I'm pretty sure I've actually got one, but it has 42 construction rules and doesn't generalize well. How can I do it with fewer construction rules?</p>
  
  <p>The language is {a,b}* where the number of a's is five times the number of b's.</p>
  
  <p>I know that for a language {a^n (concatenate) b^m; m = 5n} it would just be</p>
  
  <blockquote>
    <p>S = aSbbbbb | λ</p>
  </blockquote>
  
  <p>But when the characters can be in any order, I'm lost.</p>