语言与机器：计算机科学理论介绍

该资源为语言与机器：计算机科学理论介绍Languages and Machines—An Introduction to the Theory of Computer Science。