Narad Rampersad Jeffrey Shallit Detecting patterns in finite regular and context-free languages http://arxiv.org/abs/0906.3220 2009 CoRR abs/0906.3220 db/journals/corr/corr0906.html#abs-0906-3220 informal publication