Boolean differential calculus とは

ブール代数計算(BDC)(ドイツ語:BoolescherDifferentialkalkül(BDK))はブール代数の主題分野であり、ブール変数とブール関数の変更を議論している。
ブール微分計算は、動的システム理論の様々な側面を
 有限オートマトンに関するオートマトン理論ペトリネット理論SCT(Supervisory Control Theory)
一体となった形で議論されるべきであり、それらの具体的な利点は組み合わされるべきである。