circuit (computer theory)