在形式语言理论中，无上下文语法（CFG）是受特殊约束约束的语法：左侧（LHS）由单个非终端符号组成。 CFG能够表示一组无上下文语言（CFL）。
我在计算机科学理论的研究中遇到了一些问题...... 谁能解释一下我们如何将上下文无关语法（cfg）转换为相应的下推au的算法...
Markdown 支持嵌套列表，由每行开头的空格（缩进）长度指示。这与Python类似。使用上下文无关构建解析器似乎很困难
我正在使用上下文无关语法和 Bison 和 Flex 编写一个解析器来处理包含 for 循环的简单语言。但是，当我尝试解析有效的 for 循环时遇到语法错误
生成上下文无关语法，其中第 i 个字符与 i+3 处的字符匹配
我在生成上下文无关语法时遇到问题，其中字符为 0 或 1，并且位置 i 处的符号与位置 i+3 处的符号相同，并且字符串大于 4。 L : {x ∈ ...
考虑以下语法： S->aA A -> Aa|b 这种语法产生了无限的语言。是否可以为这个语法构造一个 LR(0) 状态机？
这个文法是LL(1)吗？为什么这样？如果不是，则将其设为 LL(1)
A -> Aac |抗体 | BB | A B -> AC |广告 | ε 这是LL(1)文法吗？为什么这样？如果不是，则将其设为 LL(1) 我需要帮助解决这个问题。我认为这不是 LL(1) 因为它已经离开了递归但我不知道......
我正在尝试在 Prolog 中实现数学表达式的 DCG，因为我想做用该语言实现计算器的基本练习，这是我的代码： 莱克斯（添加，'+'）。 lex(子, '-'...
我一直在研究自动机理论、编译器和计算机科学的基础知识，但有一些基础知识我不明白。 我看到了不同语言的乔姆斯基层次结构......
如何让这个Python代码每次使用NTLK时都不会遇到语法错误
我正在为写作编码课程的最终项目编写一些代码。我也是初学者。我在下面编写了一些代码来创建一首随机诗，但每次运行它时，我总是会收到错误......
我需要将上下文无关文法 G 转换为 LL(1) 类型的等效文法，但我无法满足该文法属于 LL(1) 的条件。我已经进行了左分解并且
显示语法。 S->aS|aSbS|Ɛ 是有歧义的，求无歧义语法
我有这个问题： 显示语法。 S->aS|aSbS|Ɛ 是有歧义的，求无歧义语法。 我尝试从互联网上学习任何有关歧义语法的知识，但大多数......
我正在学习有限自动机和语法测试，我被这个问题困扰： 构造一个生成 L 的语法： L = {a^n b^m c^m+n|n>=0, m>=0} 我相信我的作品应该...
解决 PLY 中表达式语法中的移位/归约冲突，以调用嵌入式函数
我正在为 PLY 中的解释器创建语法。目前，我正在尝试将嵌入式函数调用实现为表达式，但我在查看以下内容的冲突位置时遇到问题
我正在做一个问题，我将泵引理应用于 CFL L = {a^nb^nc^n : n >= 0}。这是我正在查看的证明的开始： 假设 L 是 CFL，因此存在泵浦长度 p ...
所以我是一名计算机科学新手，希望得到社区的帮助来帮助我理解这个主题。 我有这个常规语言，我试图从中确定 3 件事
所以我们有一个活动，我们必须根据给定的语法生成解析。 我们还被问到语法将生成以下给定字符串中的哪一个。 我能够生成 abcd 但在 qu...
我必须为给定语言构建某种语法，其中该语言由作为二进制表示的 0 和 1 字符串组成。大于 6 的奇数。我还必须创建一个解析...
我想使用 Sequitur（特别是它在 Python scikit 包中非常好的实现）从大量字符串（“句子”）中推断出 CFG。 Sequitur 期望单个 str...
L= { a^n b^m c^m d^2n } 的上下文无关语法，其中 n 和 m >= 0
问题：为 L= { a^n b^m c^m d^2n } 设计上下文无关语法，其中 n 和 m >= 0 这就是我的制作方法： s -> ABC （这是生成整个字符串的起始符号。） 一个->...
如何使用chomsky找到该语言的语法：La = {ww^r: w e {0,1}^*, w结尾为1}？ 这是我的解决方案： S -> 0S0|1S1| 0|1|E(ε) 我可以在这里改变什么或者解决方案是