複合コマンドとその判定

コマンドの文字列 $c$ を区切りで分けて得られる、空でないサブコマンドの列を $\mathrm{sub}(c) = (c_1, \ldots, c_m)$（$m \ge 1$）とする。区切りを含まない $c$ では $\mathrm{sub}(c) = (c)$ であり、各 $c_i$ は区切りを含まない（したがって $\mathrm{sub}(c_i) = (c_i)$）とする。Bash の規則集合 $R$ に対する複合コマンドの判定 $\mathrm{dec}^\ast_R(c)$ を次で定める。

• ある $i$ で $c_i \in \mathrm{Mat}_{\mathrm{deny}}(R)$ ならば $\mathrm{deny}$。
• そうでなく、ある $i$ で $c_i \in \mathrm{Mat}_{\mathrm{ask}}(R)$ ならば $\mathrm{ask}$。
• そうでなく、すべての $i$ で $c_i \in \mathrm{Mat}_{\mathrm{allow}}(R)$ ならば $\mathrm{allow}$。
• それ以外は $\bot$。