自动机理论的先决条件
我对自动机理论感兴趣，以提高我对编程和编译器设计的理解(例如，我想在我自己的项目中创建一些简单的语法；L-Systems，AI，神经网络结构和智能对象-对象对话'AI对话框‘)，但在继续之前，我需要学习一些东西。
在学习自动机理论之前，我需要学习很多新的符号和数学概念，我不能复制和粘贴示例，因为这些符号，我没有必要的声誉来发布图像，以便听到维基文章的链接。
Context-free grammar article on Wikipedia
在“正确的CFG”的标题下，你可以看到一些定义。我不理解他们。有人能告诉我这个符号叫什么吗?这样我就可以在谷歌上搜索它了。任何其他的指针或信息也会有所帮助，但只需知道几个关键字就会有所帮助。此外，如果有人知道可以免费访问的综合资源，例如，关于该符号主题的IIT视频讲座，我将永远感激不尽，因为我现在负担不起辅导甚至课本。
我目前正在使用的自动机理论资源(对于任何感兴趣的人来说)是YouTube上的Theory of Automata IIT Lectures。
回答 3
Stack Overflow用户
发布于 2017-11-14 11:31:33
符号∀和∃是logical quantifiers，分别表示“为所有人”和“存在”。
通常，您是在离散数学课程中第一次接触到它们的，尽管它们是predicate logic (也称为一阶逻辑)的一部分；在我所在大学的CS课程中，离散数学是计算机科学逻辑的必修课，而计算机科学逻辑又是形式语言和自动机的必修课。
术语(V union Sigma)*中的星形*符号在形式语言/自动机理论本身中进行了研究:它是Kleene star operator。它的输入是一个字母表(一组符号)，并在该字母表上生成包含零个或多个符号的所有字符串的集合。
学习形式语言和自动机的一个有用工具是JFLAP。
Stack Overflow用户
发布于 2014-06-18 12:13:24
这个主题，在您的链接中提到的级别，实际上只适用于数学家或研究生级别的理论计算机科学学生。你所指的符号只是符号逻辑。如果你真的对自动机理论感兴趣，我建议你尝试寻找从概念层面探索该主题的资源，并避免使用复杂的逻辑语句。或者，如果你真的想深入研究，你可以自学符号逻辑，一些集合论，可能还有一些现代代数，然后从那里学习自动机理论。
Stack Overflow用户
发布于 2014-07-14 12:11:42
我读过许多关于语言和自动机主题的书，包括关于编译器的Dragon书(以及更实用的Jack Crenshaw's Let's Write a Compiler)，但直到我阅读Marvin Minsky的经典有限和无限机器之前，这些书都没有真正被接受。作为一本旧书，它根本没有涵盖该领域的最新研究和发展，但他在自动机、神经网络、图灵机、函数式编程和Lambda演算以及经常被忽视的字符串重写系统的第三轮中解释了20世纪60年代的最新技术。而且文章写得异常出色，引人入胜。IIRC Minksy甚至与艾萨克·阿西莫夫合著了一个机器人故事，因此他拥有一些严肃的写作资历。
就像我说的，这本书不会带给你这些领域的最新信息，但它是我找到的最好的一本书，可以从头开始解释一切。这将为阅读任何更新的东西提供一个非常坚实的基础。这本书出现在此后出版的每一本书的书目中。
https://stackoverflow.com/questions/24276871
复制相似问题
腾讯云开发者
