我对自动机理论感兴趣，以提高我对编程和编译器设计的理解(我想在我自己的项目中创建一些简单的语法，例如;l系统，人工智能，神经网络结构和智能对象-对象对话(AI对话))，但在我继续前进之前，我需要学习一些东西。
在学习自动机理论之前，我需要学习很多新的符号和数学概念，因为符号和，我不能复制粘贴例子我没有发布图片所需的声誉，所以听到一个链接到wiki文章。
维基百科无关上下文的语法文章
在"适当的cfg"标题下，您可以看到一些定义。我不懂他们。有人能告诉我这个符号叫什么吗，我可以谷歌一下。任何其他提示或信息也会有所帮助，但只知道几个关键词会有所帮助。此外，如果有人知道一个全面的资源，可以免费访问，例如，一个IIT视频讲座的主题，符号，我将永远感激这个时候我买不起家教，甚至买不起课本。
我目前使用的自动机理论(对于任何感兴趣的人)的资源是YouTube上的自动机理论IIT讲座。
符号∀和∃为逻辑量词，分别表示"for all"one_answers"there exists"。
通常你是在离散数学课程中第一次接触到它们，尽管它们是谓词逻辑(也称为一阶逻辑)的一部分;在我所在大学的CS课程中，离散数学是计算机科学逻辑的先决条件，而形式语言和自动机的先决条件。
在形式语言/自动机理论中研究了(V union Sigma)*项中的星形*符号:它是Kleene星形算子。它的输入是一个字母表(一组符号)，它产生该字母表上包含0个或多个符号的所有字符串的集合。
JFLAP是学习形式语言和自动机的一个有用的工具。
这个主题，在你的链接中提到的水平，实际上只适合数学家或研究生水平的理论计算机科学专业的学生。你所指的符号只是符号逻辑。如果您真的对自动机理论感兴趣，我建议您尝试寻找从概念层面探索该主题的资源，并避免使用复杂的逻辑语句。或者，如果你真的想深入研究，你可以自学符号逻辑，一些集合论，可能还有一些现代代数，然后从那里着手处理自动机理论。
我读了很多关于语言和自动机的书，包括Dragon关于编译器的书(以及更实用的Jack Crenshaw的Let's Write a Compiler)，但是直到我读了Marvin Minsky的经典Finite and Infinite Machines，这些书都没有真正的进入。作为一本旧书，它根本没有涵盖该领域的最新研究和发展，但他解释了20世纪60年代最先进的自动机、神经网络、图灵机、函数式编程和Lambda微积分，以及经常被忽视的第三轮字符串重写系统。写作非常出色，引人入胜。IIRC Minksy甚至与艾萨克·阿西莫夫共同创作了一个机器人故事，所以他有一些严肃的写作资历。
就像我说的，这本书不会给你带来这些领域的最新知识，但它是我所发现的从头开始解释一切的最好的书。这也为阅读近代的作品提供了坚实的基础。