Define , the set of all grammars with .
This is countable.