Computability, Complexity, and Languages door