计算理论

计算理论探讨计算的本质与极限，研究哪些问题可以被计算、计算的代价如何。本章从形式语言与自动机出发，深入可计算性与计算复杂性理论。

本章内容：