我对自动机理论感兴趣，以提高我对编程和编译器设计的理解（我想在自己的项目中创建一些简单的语法，例如；L-Systems、AI、神经网络结构和智能对象-对象对话'AI对话'）但在我继续前进之前我需要学习一些东西。
在学习自动机理论之前，我需要学习很多新的符号和数学概念，由于符号的原因，我无法复制和粘贴示例，而且我没有发布图像所需的声誉，所以听到了 wiki 的链接文章。
在“正确的 CFG”标题下，您可以看到一些定义。我不明白他们。有人可以告诉我这个符号叫什么，所以我可以谷歌它。任何其他指示或信息也会有所帮助，但只知道几个关键词会有所帮助。此外，如果有人知道可以免费访问的综合资源，例如关于该符号主题的 IIT 视频讲座，我将永远感激不尽，因为我现在负担不起辅导甚至课本。
我目前用于自动机理论的资源（对于任何感兴趣的人）是YouTube 上的自动机 IIT 讲座理论。
在您的链接中提到的级别上，该主题实际上仅适用于数学家或研究生水平的理论计算机科学专业的学生。您所指的符号只是符号逻辑。如果您真的对自动机理论感兴趣，我建议您尝试查找从概念层面探索该主题并避免使用复杂逻辑语句的资源。或者，如果你真的想深入研究，你可以自学符号逻辑、一些集合论，可能还有一些现代代数，然后从那里学习自动机理论。
我读了很多关于语言和自动机主题的书，包括关于编译器的 Dragon 书籍（以及更实用的 Jack Crenshaw 的 Let's Write a Compiler ），但是直到我阅读了Marvin Minsky的经典有限和无限机器之前，这些书都没有真正点击过. 作为一本老书，它根本没有涵盖该领域的最新研究和发展，但他解释了 1960 年代自动机、神经网络、图灵机、函数式编程和 Lambda 微积分的最新技术，以及字符串重写系统经常被忽视的第三个轮子。而且文笔非常出色，引人入胜。IIRC Minksy 甚至与 Isaac Asimov 合着了一个机器人故事，所以他有一些严肃的写作资格。
就像我说的，这本书不会让你了解这些领域的最新信息，但它是我找到的从头开始解释一切的最好的书。它将为阅读最近的任何东西提供一个非常坚实的基础。这本书在此后出版的每本书的参考书目中。