计算理论

计算机背后的数学原理是什么？计算机语言的理论基础又是什么？通过理解形式语言与自动机模型，我们可以探索这些问题。 在这门全面的课程中，你将学习形式语言、正则语言，以及如何使用相应的自动机模型对它们进行建模。接着，你将掌握正则表达式与文法及其等价关系。随后，你将深入学习上下文无关语言（编程语言的基础）、下推自动机，以及二者之间的关系。在课程后期，你将了解递归可枚举语言、图灵机及其变体、上下文有关语言和无限制文法。 课程结束时，你将深入理解多种形式语言及其对应的自动机模型。此外，由于课程中包含大量练习题，你的理解能力与问题解决能力将得到充分巩固和提升。