このとき,長さが有限の $\Sigma$ の要素の列を $\Sigma$ 上の語といいます.$\Sigma$ 上の語の全体(スター閉包/クリーネ閉包)を $\Sigma^{*}$ と表します.
ここで, $\Sigma^{*}$ の部分集合から特定の条件を満たす記号列を集めた部分集合を $\Sigma$ 上の言語といいます.\[\mathcal{L}=\bigl\{x | x \in \Sigma^{*} \bigr\} \]
Mathematics is the language with which God has written the universe.