For a Boolean ring R, we assume that an R-machine utilizes only the opera- tions {¯,∩}, and branches only via tests of the form A = 0. This is w.l.o.g.,.
確定! 回上一頁