無限長の文字列ある前提で考えてるやん
概念的に考えれば有限長しかない