The language of infinite words (infinite-length sequence)