ゾゾウスキ導分(Brzozowski derivative)

言語 $\mathcal{L}$ と記号 $a$ が与えられたとき,記号 $a$ についてのゾゾウスキ導分(Brzozowski derivative)は,\[D_{a}(\mathcal{L}=\{b\ |\ ab \in \mathcal{L}\}\]と定義されます.

記号 $a$ についての正規表現(regular expressions)のゾゾウスキ導分(Brzozowski derivative)は次のように定義されます.\[D_{a}(\emptyset)=D_{a}(\varepsilon)=\varepsilon\]\[D_{\varepsilon}(a)=a\]\[\begin{eqnarray}D_{a}(b)= \begin{cases} \varepsilon & if\ b=a\\ \emptyset & otherwise \end{cases}\end{eqnarray}\]\[\begin{eqnarray}D_{a}(E+F)= \begin{cases} D_{a}(E)F+D_{a}(F) & if\ \varepsilon \in \mathcal{L}\\D_{a}(E)F & o th e rw ise \end{cases}\end{eqnarray}\]\[D_{a}(E^{*})=D_{a}(E)E^{*}\]\[D_{\varepsilon}(E)=E\]\[D_{wa}(E)=D_{a}(D_{w}(E))\]


ゾゾウスキ(Janusz Antoni Brzozowski;May 10, 1935-)はポーランドのワルシャワ出身の計算機科学者です.

Vita brevis, ars longa. Omnia vincit Amor.





















確率測度の拡張 導出(derive) 形式文法 真偽値表/真理値表 有限オートマトンの多様体 正規言語(regular lamguage)