言語

言語を構成する最小の要素(アルファベット,ひらがな,カタカナ)を記号集合といって,$\Sigma$ で表します.

このとき,長さが有限の $\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.





















オートマトン - 言語 - 反射律 reflexivity rule - 真偽値 truth value - 代数的閉体 algebraic closed field