A set of strings over some fixed alphabet. A characterization of inputs which may or may not be solved by algorithms.