Questions tagged «automata»

关于数学设备的问题，这些数学设备逐个符号地读取输入流，并使用状态转换图来生成输出流（可能使用辅助存储）。

1
确定性堆与非确定性最小堆自动机的计算能力
这是一个后续问题这一个。 在先前关于奇异状态机的问题中，亚历克斯·十·布林克和拉斐尔谈到了一种特殊的状态机的计算能力：最小堆自动机。他们能够证明此类机器（）接受的语言集既不是上下文无关语言集的子集也不是其超集。鉴于已成功解决该问题并对该问题有明显的兴趣，我继续提出几个后续问题。H一个大号H一种大号HAL 众所周知，确定性和非确定性有限自动机以及确定性和非确定性图灵机具有相同的计算能力。但是，确定性下推自动机的计算能力小于非确定性下推自动机的计算能力。 确定性最小堆自动机的计算能力是否小于或等于非确定性最小堆自动机的计算能力？
2
空字符串的λ的起源是什么？
我通常在空字符串（空词或空字符串）中使用符号。但是我知道有些人使用λ而不是ε。εε\varepsilonλλ\lambdaεε\varepsilon 我认为源自“空”一词。但是我不知道λ的起源。εε\varepsilonλλ\lambda 在自动机理论中，存在自动机的ε跃迁，也被称为lambda跃迁。例如，默认情况下，JFLAP软件使用作为epsilon过渡的标签。λλ\lambda 我在起源上进行了搜索，并搜索了cs.stackexchange，但找不到。有谁知道描述这个的参考？
4
下推自动机“猜测”-这是什么意思？
我意识到非确定性下推自动机可以比确定性下推自动机更好，因为它们可以在多个状态之间“选择”，并且有一些上下文无关的语言无法被确定性下推所接受。 不过，我不知道他们到底是如何 “选择”的。例如，对于palindormes，我发现的每个来源都只是说自动机“猜测”了单词的中间部分。这意味着什么？ 我可以想到几种可能的含义： 它随机进入一种状态，因此可能不接受实际上是该语言中的单词 它以某种“一切可能的方式”进行，因此，如果第一个错误，它将测试另一个是否正确 我不知道某种机制，它选择单词的中间，因此不是随机的，但是自动机总是找到正确的中间。 这只是一个例子。我想知道的是，对于具有一个以下多个状态且位于同一状态之前的自动机，它是如何工作的。
3
为什么Kleene星运算符也称为Kleene'closure'运算符？
我发现，如果我不了解CS /编程术语背后的词源，通常意味着我已经错过或误解了一些重要的基本概念。 我不明白为什么Kleene星也被称为Kleene闭合。它与编程中的闭包（具有绑定的非局部变量的函数）有关吗？ ...经过反思，也许是因为它允许将开放式集以封闭表达式形式编写？ ……以一种古老的橡皮鸭解释方式，现在我猜是这样，但是仍然欢迎权威人士回答。
1
用于假人的Monadic二阶逻辑
我是一个对自动机有所了解的程序员，但对逻辑并不了解。 我在论文中读到，两者之间有着密切的联系。确定性有限自动机（DFA），树自动机和可见下推自动机都与Monadic二阶逻辑（MSO）相关。尽管我了解自动机，人们（在论文中）试图向我解释与MSO的关系，但他们始终假设自己具有强大的逻辑背景和对MSO的理解。 当我阅读有关逻辑的书籍和课程时，它们大多只处理一阶逻辑，这看起来很简单，并且仅包含以下几个概念：变量，或者（并非暗示）全部存在，等等。 有人可以向我解释或指向可以解释以下内容的资源： 与一阶逻辑相比，二阶逻辑是什么？ 什么是单子逻辑与非单子逻辑？ 可判定二阶逻辑为什么单调很重要，或者为什么这是错误的问题？ 为什么一元二阶逻辑是可确定的？ 与至少DFA的关系？ 如果它是一种资源，并且假设我是程序员而不是逻辑学家，那将很好。这意味着我想了解如何将其实现为代码，因为在那之前数学对我来说就像是魔力；） 谢谢您能给我的任何帮助。我真的很感激。
2
在计算机科学的背景下，“生产”一词最终如何成为“规则”一词的同义词？
我正在研究正式的语言和生产基础系统（rule-bases systems），我对为什么这两个词“生产”和“规则”在计算机科学的这么多上下文中含义相同感到有些困惑。 在英语中，它们似乎不是同一意思。我不是英语母语人士，但我知道一条规则是指某人在谈论人时不应该/不应该做的事情，或者如果重复多次会得到相同的结果，并且我们说它按某些规则起作用（它的工作方式由每次都相同的某些协议/过程定义）。 生产是指完全不同的东西...当前正在生产/生产的某些实物或软件的阶段。制作某种东西的行为，无论是物理的还是某种艺术品，一些写作，某些绘画，是由某人的身体或心理能力所制成的。我们说具体的东西产生了。 但是，在计算机科学中，这些代表英语完全不同的词在CS中表示同一件事。这个术语在CS中最终是如何相似的。 有某种计算机科学的词源词典。字典告诉我们计算机科学的术语最终是什么？ 顺便说一句：有趣的事实：在此Stack Exchange站点中，既没有生产规则也没有规则。
1
计算两个NPDA的交点
不赞成拉斐尔关于两个NPDA相交的建议： 让和 NPDA分别用于上下文无关的语言和。假设我们知道，是上下文无关，我们可以（有效地）构造NPDA用于？阿2 大号1 大号2大号= 大号1 ∩ 大号2甲大号一种1个A1A_1一种2A2A_2大号1个L1L_1大号2L2L_2L = L1个∩ 大号2L=L1∩L2L = L_1 \cap L_2一种AA大号LL 任何类型的算法都是可以接受的，但是越实用越好。
4
团体理论和形式语言的桥梁定理
是否存在某种自然或显着的方式来关联或链接数学组和CS 形式语言或其他一些核心CS概念（例如，图灵机）？ 我正在寻找参考/应用程序。但是请注意，我知道半群语言和CS语言之间的联系（即通过有限自动机）。（有关半自动机的文献有没有看过“群自动机”？） 几年前，我见过一篇可能接近的论文，可以将TM转换表转换为二进制操作，在某些情况下有时甚至是一组操作，可以想象是基于TM状态表中的某种对称性。它没有特别探索，但也没有排除它。 而且，尤其是对于有关有限组分类的大量数学研究而言，它在TCS中是否具有任何意义或解释？这种庞大的数学研究大厦的“算法透镜”观点是什么？关于计算中可能存在的隐藏结构的“说明”是什么？ 这个问题部分地受到其他一些注释的启发，例如： 在TCS中使用代数结构 格罗莫夫定理上的RJ Lipton
1
自动机中正则表达式与语法的区别
我是自动机的新手，仅在昨天才对正则表达式进行了简要介绍。我已经阅读了定义正则表达式的各种规则。但是我无法区分正则表达式和某种语言的语法（没有教我正则表达式的语法）。 我知道语法可以帮助我们生成一种语言中的有效字符串，但这就是定义正则表达式状态的规则。那么区别在哪里呢？我问我的教授，他说正则表达式是一种语言中最基本的字符串，语法是任何一种语言的规则集，其顺序比正则表达式高。有人可以提供一些更深入的信息吗？
3
如何不使用NFA从正则表达式创建DFA？
目标是从正则表达式创建DFA，并且不能使用“ Regular exp> NFA> DFA转换”。应该怎么做呢？ 我向我们的教授问了这个问题，但他告诉我，我们可以使用直觉，并拒绝提供任何解释。所以我想问你。 不能选择“正则表达式> NFA> DFA转换”，因为这样的转换要花费大量时间来转换一个相当复杂的正则表达式。例如，对于某个正则表达式，“ regex> NFA> DFA”对于人类来说要花费1个小时。我需要在不到30分钟的时间内将正则表达式转换为DFA。
3
NFA如何使用epsilon转换？
在下面的图片中，我试图弄清楚NFA到底接受了什么。 什么是困惑我的是在跳q 0。ϵϵ\epsilonq0q0q_0 如果输入，系统是否同时移动到q 0和q 1（接受状态）？000q0q0q_0 q1q1q_1 如果输入，系统是否同时移动到q 1和q 2？111q1q1q_1q2q2q_2 如果没有输入（空字符串），系统是否仅移至（接受状态）？q1q1q_1
2
具有写保护输入的单带图灵机只能识别常规语言
这是问题所在： 证明不能在包含输入字符串的磁带部分上写入的单带图灵机只能识别常规语言。 我的想法是证明该特定TM等同于DFA。 使用此TM模拟DFA非常简单。 但是，当我想使用此DFA模拟TM时，会遇到问题。对于TM转换，DFA可以通过向右读取磁带并执行相同的状态转换来明确地模拟。δ（q，a ）= （q′，a ，R ）δ(q,a)=(q′,a,R)\delta(q,a)=(q',a,R) 对于，我无法弄清楚如何使用此DFA或NFA模拟左移，因为DFA仅向左读取且没有堆栈或要存储的东西。δ（q，a ）= （q′，a ，L ）δ(q,a)=(q′,a,L)\delta(q,a)=(q',a,L) 我应该考虑另一种方式吗？有人可以给我一些提示吗？谢谢。
3
NFA是否接受另一个NFA的子集，是否有有效的测试？
因此，我知道测试常规语言是否为常规语言的子集是可以确定的，因为我们可以将它们都转换为DFA，计算，然后测试该语言是否为空。小号ř ∩ ˉ 小号RRRSSSR∩S¯R∩S¯R \cap \bar{S} 但是，由于这需要转换为DFA，因此DFA以及测试算法可能就输入NFA中的状态数而言呈指数关系。 在多项式时间内有已知的方法吗？总的来说，该问题是否已被证明是Co-NP完整的？ 请注意，问题出在Co-NP中，因为而不是接受的单词将是的多项式证明者。RRRSSSR⊈SR⊈SR \not \subseteq S 编辑：这是不正确的，因为不能保证这样的单词在状态数上将是多项式。
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.