Computability, Complexity, and Languages : Fundamentals of Theore