連接 conjunction

記号集合 $\Sigma$ 上で,${\bf L_{1}}$ と ${\bf L_{2}}$ を考えます.\[{\bf L_{1}}=\{x|x \in {\bf L_{1}}\}\]\[{\bf L_{2}}=\{y|y \in {\bf L_{2}}\}\]このとき,連接 ${\bf L_{1}}{\bf L_{2}}$ は,\[{\bf L_{1}}{\bf L_{2}}=\{xy | x \in {\bf L_{1}},y \in {\bf L_{2}} \}\]と定義されます.

Vita brevis, ars longa. Omnia vincit Amor.





















確率測度の拡張 正規表現 regular expression 非決定性有限オートマトン NFA 状態遷移関数 有限オートマトンの種類 剰余の定理(Remainder theorem)