Next: A boolean function requiring
Previous: On the average case
we prove for every sufficiently large n:
There exists a context-free language CLn with the following
- CLn has a cfg of size O(n).
- Each chain rule free cfg for CLn has size