context-free-grammar 相关问题

在形式语言理论中,无上下文语法(CFG)是受特殊约束约束的语法:左侧(LHS)由单个非终端符号组成。 CFG能够表示一组无上下文语言(CFL)。

使用上下文无关文法与命题逻辑符号一起使用

我目前正在尝试将上下文无关的语法用于命题逻辑。我想象终端集合看起来像这样:T =(q,p,¬,∧,∨,→,⟷)。现在我需要定义一组...

回答 1 投票 0

计算语法的第一组和第二组

我必须计算以下语法的第一和第二组:A-> B C B-> A x | x C-> y C |根据我的理解,我得到以下计算:首先我们删除...

回答 1 投票 0

描述不是LL(1)的LL(2)语言的语法,在该语言中没有规则可以产生epsilon?

此答案显示了描述不是LL(1)的LL(2)语言的语法:S-> a S A | epsilon A-> a b S | c在此语法中,S的可能性之一是它会产生ε,...

回答 1 投票 0

在JAVACC中声明LOOKAHEAD的不同方法

我一直在理解Javacc语法来编写解析器,在该解析器中我找到了一条显示如下选项的行:{LOOKAHEAD = 3; }我想知道什么是LOOKAHEAD,有什么不同的方法可以...

回答 1 投票 0

如何使用此CFG随机生成字符串?

我有这段代码描述了上下文无关的语法,并且我试图生成与其匹配的随机字符串;例如,像这样:“约翰认为玛丽讨厌每只绿猫” ,但是我目前的...

回答 1 投票 -3

在PROLOG中创建DCG解析器

我必须在PROLOG中实现一个上下文无关的解析器,该解析器使用可以生成的语法:我看到了一个教程。我去了图书馆。在图书馆,我看到了一个教程。 (我知道这是不正确的...

回答 1 投票 0

为什么C的BNF语法允许使用init-declarators的空序列进行声明?

[当查看C的BNF语法时,我认为声明的生产规则看起来像这样很奇怪(根据https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax% ...

回答 2 投票 1

具有负前瞻性的RegEx可以表示为有限自动机吗?

我正在使用一种用于处理上下文无关语言的工具,并且语法的内部表示形式存储为有限自动机。深入研究EBNF和RegEx,我了解到EBNF ...

回答 1 投票 0

以下语言是否正常?上下文无关?

给出以下语言:L = {bi | i> 0} U {aibi | i> 0}此语言上下文免费吗?定期?我尝试过考虑,但到目前为止没有结果。.

回答 2 投票 0

为什么我的表达式求值器程序出现语法错误? [关闭]

我尝试了以下输入a = 10;打印打印1 + 2 + 3; a = 5 + 10;尝试使用上述输入执行文件时出现语法错误编译期间没有错误这是代码Flex ...

回答 1 投票 0

语言解析-如何处理规则中的多个选项

我一直在写语言解析器。它基于BNF样式规则,其中规则包含选项列表或终端令牌。例如:#如果规则A与当前令牌流位置匹配,则......>

回答 1 投票 0

如何解决语法上的间接第一集合冲突?

以下是我试图简化为LL(1)的一小部分语法:A-> B | C |整数| floatnum | Lpar Drpar |不是A | E A。 B-> F I。 C-> G ...

回答 1 投票 0


PDA中的多次推入/弹出

[设计下推式自动机时,我的输入是{a,b},现在我可以在扫描它们的同时推入多个a或多个b ...然后在弹出的同时可以弹出多个a或多个...

回答 1 投票 1

是L = {a ^ mb ^ nc ^ k |如果(m = n)则(n = k)}还是CFL?

我看到用这种语言,到我们决定m = n时;那么我们就没有b了;所以我们不能用c来惩罚它们。所以,我认为它不应该是CFL。但是下面的解决方案表明它是CFL ...

回答 1 投票 0

具有不同类型数据的表达语法

我正在为一种处理向量的小语言编写翻译。我正在使用Flex和Bison。向量用以下符号声明:v:= <1.4,-2.2,7>因此,它们的分量可以...

回答 1 投票 1

上下文无关文法是否存在,其所有符号都无用?

[G是一个上下文无关的语法,以终端(a,b)定义,从S开始,并具有带有以下产生规则的变量(A,B,C,D,E,F,G):S-> aA | BD A-> aA | aAB | aD B-> aB | aC | ...

回答 1 投票 0

CFG for language

我正在尝试创建一种生成以下语言的cfg:该语言是否上下文无关,可以由cfg生成?如果是,如何创建生成该语言的语法?我不是...

回答 1 投票 0

所有字符串X2Y,其中X和Y由0和1组成,X≠Y

此问题摘自A. Shen的书“算法与编程。问题与解决方案”。问题本身由M. Sipser传达。作者要求读者定义一个上下文无关的...

回答 1 投票 2

创建一种算法来确定上下文无关文法是否可以生成空词(ε)

我正在尝试创建一种算法来确定以下可确定的问题:给定CFG H,则H⇒*ε。也就是说,H可以在任何数量的步骤中生成空字。该算法必须是...

回答 1 投票 1

© www.soinside.com 2019 - 2024. All rights reserved.