言語

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

このとき,長さが有限の $\Sigma$ の要素の列を $\Sigma$ 上の語といいます.$\Sigma$ 上の語の全体(スター閉包/クリーネ閉包)を $\Sigma^{*}$ と表します.

ここで, $\Sigma^{*}$ の部分集合から特定の条件を満たす記号列を集めた部分集合を $\Sigma$ 上の言語といいます.\[\mathcal{L}=\bigl\{x | x \in \Sigma^{*} \bigr\} \]


参照:一階述語論理の言語

Vita brevis, ars longa. Omnia vincit Amor.





















確率測度の拡張 反射律 reflexivity rule 真偽値 truth value 代数的閉体 algebraic closed field 言語 language 長さ length