A sequence of circuits, one for each input length n, that can be efficiently generated by a Turing machine.