In high-level programming languages, such as C and Python, loop statements such as while and 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?

  • $\begingroup$ "Besides loop unrolling" - why have you rejected loop unrolling? It sounds like you already know how to answer your own question. $\endgroup$
    – D.W.
    Mar 16 at 8:03


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Browse other questions tagged or ask your own question.