个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
24
4
我正在寻找一些有限自动机、下推自动机和图灵机任务示例的良好来源(用于手动解决)。
我四处寻找，但没有发现什么特别的东西，所以我想知道是否有人有一些很好的例子。提前致谢。
最佳答案
你最好的选择可能是买一本关于这个主题的书，比如 Introduction to the Theory of Computation, Third Edition迈克尔·西普瑟(Michael Sipser)，然后完成练习。
有关自动机问题集的集合以及解决方案，请查看 Stanford's introductory course in the theory of computation .问题集 5、6 和 7 直接讨论自动机(有限、下推和图灵机)以及等效表示(正则表达式和上下文无关文法)。
希望这可以帮助!
关于finite-automata - 有限自动机、下推自动机和图灵机示例，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/12164479/
24
4
0
如上所述，我有一个转换图，但我不知道如何找到它的语言，在我看来有很多可能性，但我一定是误解了。我的理解是，任何从初始状态到最终状态的词都被接受。当然，有很多不同的方法可以实现这一目标。阿布，阿布，阿布
换句话说，我为什么要了解它？我什么时候要说...哦，我需要为此了解下推自动机或图灵机。 我看不到 Material 的应用。谢谢 最佳答案 您应该了解自动机理论，因为它会帮助您了解给定系统中的计算可能
哪个是确定两个自动机之间等价的最佳或最简单的方法？ 即，如果给定两个有限自动机 A 和 B，我如何确定两者是否识别相同的语言？ 它们都是确定性的或都是非确定性的。 最佳答案 一种不同的、更简单的方法是
我正在为我的计算理论课做作业，对如何组合 2 个 DFA 有点困惑。这本书说它使用“交叉结构”来做到这一点，但我不确定那是什么。这里有2个例子: 最佳答案 这个想法非常简单，尽管我可以看到混淆的地方。
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈，无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开，visit the help center . 关闭 1
我正在尝试证明这种语言是否: L = { w={0,1}* | #0(w) % 3 = 0 } (number of 0's is divisble by 3) 经常使用抽水引理，但我找不到办法。我得
我正在寻找一些有限自动机、下推自动机和图灵机任务示例的良好来源(用于手动解决)。 我四处寻找，但没有发现什么特别的东西，所以我想知道是否有人有一些很好的例子。提前致谢。 最佳答案 你最好的选择可能是买
嗯 - 问题说的是什么。这是我一直听说的事情，但我还没有时间去研究它。 (更新)我可以查找定义……但为什么不(正如@erikson 指出的那样)深入了解您的真实经历和轶事。 Community Wik
问题:构建一个只接受那些不以 ba 结尾的单词的 FA。我想为这个问题画 DFA，但我不明白我该怎么做，请帮我画这个 最佳答案 步骤: 绘制以“ba”结尾的 DFA。 反转状态即 做出最终状态，非最终
我有一个世界国家的 shapefile，从 here 下载.我可以在 R 中使用 countries <- readOGR("shp","TM_WORLD_BORDERS-0.3",encoding=
我现在正在上一门关于计算理论的类(class)。我能很好地理解这些概念。我可以解决问题。而且，当我问我的讲师关于真实世界的应用程序时，他告诉我这些概念在编译器设计中肯定有用且必不可少。但是，至少要进行
我必须使用 Streams API 从给定文件中找到所有最长的单词。我分几步完成，但寻找一些“一个衬里”，实际上我处理了整个文件两次，第一次是找到最大单词长度，第二次是将所有单词与最大长度进行比较，假
我已经将 is.finite() 用于向量、矩阵等，并且效果很好。我感到困惑的是为什么它似乎为数据框和列表返回 FALSE。 比如下面这个例子: m 具有非有限值的矩阵)，我看不到 is.finit
我有一个 R 数据框 (df)，如下所示: blogger; word; n; total joe; dorothy; 17; 718 paul; sheriff; 10; 354 joe; gray
在运行优化版代码(以NaN和g++ 4.8.2编译)时发现一个使一切变成4.9.3的错误时，我确定问题出在-Ofast选项，特别是它包括的-ffinite-math-only标志。 该代码的一部分包括
Locked. This question and its answers are locked，因为该问题是题外话，但具有历史意义。它目前不接受新的答案或互动。 有限状态机 确定性有限状态机是一种简
我目前正在尝试创建一个 R 函数来计算指定列与数据帧的所有数字列的 corr.test 相关性。这是我的代码: #function returning only numeric columns onl
在形式语言的乔姆斯基分类中，我需要一些 Non-Linear, Unambiguous and also Non-Deterministic 的例子上下文无关语言(N-CFL)？ 线性语言 : 对于
早些时候，我在这里问了一个问题，寻求帮助将有限自动机的转换图转换为正则表达式: Understanding (and forming) the regular expression of this f
我正在使用 Julien Pilet 等人编写的开源代码。在标题为“使背景减法对突然的照明变化具有鲁棒性”下。我没有改变任何东西，只是运行它，然后它给了我以下错误: error C3861: 'fin
我是一名优秀的程序员,十分优秀！