有限と無限の境目とかないのに「全ての有限長の文字列」って表現するのがおかしいんちゃうの