Omega language

In formal language theory within theoretical computer science, an ω-language is a set of infinite words, where an infinite word is an infinite-length sequence (specifically, an ω-length sequence) of symbols. Here, ω refers to the first infinite ordinal number, modeling a set of natural numbers.