Uniform models
One program for arbitrary inputs. (E.g., Turing machines, Java program, finite state automata )
Non-Uniform models
For each , one program for arbitrary inputs of size (e.g., CNFs, formulas, circuits, decision trees, )
NB: ‘non-uniform’ nomenclature arises from the dependency on .