そもそも「有限長の文字列の集合」が存在しないってことちゃう