堆栈内存溢出
cost 291 ms
为什么 L = {a^ib^i, 0 <i<5} regular?< div><div id="text_translate"><p> 我正在尝试理解常规语言。 我在这里找到了这个问题<a href="https://www.sanfoundry.com/automata-theory-multiple-choice-questions-answers/" rel="nofollow noreferrer">https://www.sanfoundry.com/automata-theory-multiple-choice-questions-answers/</a><br> 是L = {a^ib^i | 0&lt;i&lt;5} L = {a^ib^i | 0&lt;i&lt;5}常规？<br> <strong>答案是肯定的，但我不明白。</strong> 假设z = a^4^ b^4 ，z 属于 L。我可以将 z 分解为u = a, v= a^3, w= b^4 。 我可以看到不属于 L 的uv^2w = aa^6 b^4 = a^7 b^4 。通过抽取引理 L 是不规则的。</p><p> <strong>我是否以某种方式滥用了这个定理？</strong> </p></div></i<5}> - Why is L = {a^ib^i , 0<i<5} regular?

我正在尝试理解常规语言。 我在这里找到了这个问题https://www.sanfoundry.com/automata-theory-multiple-choice-questions-answers/ 是L = {a^ib^i | 0&lt;i&lt;5} L = {a^ib^i | 0&lt ...

为什么 TryParse 是这样的？ - Why is TryParse the way round that it is?

我一直在努力寻找一种使用TryParse的自然方式，因为我一直希望它能够以相反的方式工作（即返回解析的值并发出 boolean 以判断输入是否解析）。 例如，如果我们采用Parse的基本实现，则返回值是解析后的输入： 这工作正常，直到它获得一个无法解析的值，此时它完全合理地抛出异常。 对我来说，选 ...

此编程语言功能的名称是什么，是否有任何实际语言支持它？ - What is the name of this programming language feature and are there any real-world languages that support it?

让树数据结构定义如下： 一棵树有一个节点作为它的根。 节点要么是叶子节点，要么是具有一个或多个节点作为其子节点的内部节点。 在某种伪面向对象编程语言中，我们可以定义这样的树： 现在我们可以定义两个函数，'bad_code' 和 'good_code'。 函数 'bad_code' 不会编译， ...

python中的赋值符号实际上是什么？ - What actually is the assignment symbol in python?

大多数资源在线调用=（和+ =，-=等）用于赋值运算符（对于python）。 这在大多数语言中都是有意义的，但是在python中却没有。 一个运算符采用一个或多个操作数，返回一个值，并形成一个表达式。 但是，在python中，赋值不是表达式，并且赋值不会产生值。 因此，=不能是运算符。 ...

为什么左递归、非确定性或二义性文法不能是 LL(1)？ - Why can't a left-recursive, non-deterministic, or ambiguous grammar be LL(1)?

我从几个来源了解到 LL(1) 语法是： 毫不含糊， 不是左递归， 和，确定性的（左分解）。 我无法完全理解的是为什么上述内容适用于任何 LL(1) 语法。 我知道 LL(1) 解析表将在某些单元格中有多个条目，但我真正想要的是以下命题的正式和一般（没有示例）证明： 左递归 (1 ...

混淆AST函数声明的抽象格式 - Confusion over the abstract formatting of an AST declaration of functions

我正在用C ++实现编程语言，我正在进入AST生成阶段。 我想使用三步程序： 承认声明的类型; 将标记与lvalues rvalues和节点中的表达式分离为临时和本地AST; 设计并将其添加到全局AST。 以下是为变量声明提供的内容，例如： 临时表 ...

替代在扫描仪中备份？ - Alternative to backing up in a scanner?

有时我发现自己在扫描仪中备份。 这是一个典型的例子： 在上面处理JSON数组的扫描程序中，数组中的第一个元素可能会丢失，在这种情况下，扫描程序会首先遇到逗号，否则它将遇到一些将开始值的字符。 因为主循环总是从前进开始，所以如果遇到非逗号字符，那么我将备份，使其成为第一个字符。 ...

定义有限自动机Coq - Defining a finite automata Coq

我正在学习Coq，我想用它来形式化正则语言理论，特别是有限自动机。 假设我有一个自动机结构，如下所示： 其中state是归纳类型： 并且类型终端终端是 我正在尝试定义它以便稍后我将能够概括任何常规语言的定义。 现在，我想构建一个识别语言（a * b *）的自动机，它是 ...

如何从归纳型Coq获取数据 - How to get data from an inductive type Coq

我对Coq有点陌生，并且正在尝试对Coq中的常规语法进行一些形式化。 假设我有一个归纳类型，如下所示： 表示(a* b*)语法的推导规则。 假设我要提取它们以供以后使用。 有什么办法可以将其存储在列表列表中吗？ 例如，我想要一个可以返回我的程序[[S [inr a; inl S] ...

如何为包含“a”，“b”和“c”但不超过2“b”和3“c”的所有字符串编写简洁的正则表达式 - How to write a concise regular expression for all strings containing “a”s, “b”s, and “c”s but no more than 2 “b”s and 3 “c”s

我最近开始学习正则表达式，并试图为上面的问题写一个。 如果限制只放在一个字母上（例如不超过2“b”），那就不难了。 然后答案是：a * c *（b |ε）a * c *（b |ε）a * c * 但是对于2“b”和3“c”，“a”之间可能的排序总数是24（5选3），所以写一个正则表 ...

是否应该在javascript中声明对象属性？ - Should object properties be declared in javascript?

在一个JS函数，我将使用对象resultModel ，具有两个属性idArray和nameArray 。 宣告这一点的正确方法是什么？ 目前，我在函数顶部用var resultModel以及其他变量声明对象，但是我只是通过稍后在函数的循环中为它们分配值来开始使用属性： 当然，我知 ...

明确的上下文免费语法 - Unambiguous Context free Grammar

我正在通过Context Free Grammar阅读，我遇到了模棱两可的语法。 如果CFG生成的语言有超过1个解析树，那么CFG就是一个含糊不清的语法。 有什么方法可以找出或证明语法是明确的。 一般来说，我可以测试CFG生成的一些语言，并检查是否从该语言生成了多个解析树，以显示该语法是不 ...


排序:
质量:
 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM