回路、決定図、オートマトンの関係性を解説する

この文書は、ブール関数を表現するための2つの関連する形式主義、すなわち二分決定図と ブール回路について紹介するものである。また、これらの形式主義とオートマトン(語と木 上)の概念との関係性についても説明する。