Talk:Smallest grammar problem