A formal language that characterizes which computational tasks transformers can solve with length generalization.