Some Mathematical Remarks on the Boolean Machine