本书探讨了有关程序，计算机，问题和计算的术语和问题。在许多情况下，这种探索简化为对数学理论的研究，例如自动机和形式语言的理论。