本书重新审查了理论计算机科学,提供了一种新的方法,该方法将资源折衷和复杂性分类的优先级放在机器的结构及其与语言的关系上。