連接 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}} \}\]と定義されます.


Mathematics is the language with which God has written the universe.





















スタック - 連接 conjunction - 正規表現 regular expression - 非決定性有限オートマトン NFA - 状態遷移関数