Computability, Complexity and Language