Goal: Determine the fundamental capabilities and limitations of computers
(automata, computability, and complexity).
Resource:Introduction to the Theory of Computation (Sipser) is the
standard recommendation for this field (implied by standard CS curricula,
though specific text not cited in source lists; refer to “Calculability
theory” in fields list). Note: The provided texts focus heavily on practical
algorithms; strict theory is often covered in the math and algorithms sections
above.