Enzyme-based circuit design for nano-scale computing

Enzyme-based logical gates have been proposed as an alternative to conventional semiconductor gates in order to support computing at the nano-scale for nano-devices. In particular, certain enzyme-based implementations of AND, OR and NOT gates were proposed for further composing enzyme-based circuits for various Boolean functions. However, inputs and outputs of these gates are presented by different chemical species, and this results in potential incompatibility between gates. Therefore, opposite to conventional semiconductor gates not just any pair of enzyme-based logical gates may be used consequently in a circuit. This significantly complicates circuit creation and raises the question of the existence of an enzyme-based circuit for a generic Boolean function. This paper addresses the issue while providing its formal mathematical description together with an algorithm for enzyme-based circuit design.