In high-level programming languages, such as C and Python,
loop statements such as
for are included.
It is well known that any polynomial-time program we can think of can be converted into a polynomial-size boolean circuit. So how to compile loop statements into combinational circuits? Besides loop unrolling, are there other techniques? Although it is generally believed that boolean circuits do not contain feedback, that is, boolean circuits are acyclic. Is it possible to realize a
loop statement by introducing feedback, i.e. through a cyclic combinational circuit?