formal-languages

2热度

2回答

语言是：{A n B （2n） C n |其中n> = 0} 我认为它已经存在了，因为你可以像这样处理它：如果没有C并且堆栈为空，则push A，push B，为堆栈中的每个C弹出三次，返回true ，否则返回false。

0热度

1回答

我在EBNF中为语言运算子语言的语法&逻辑表达式，变量赋值和打印。 start ::= (print | assign)* print ::= print expr ; assign ::= ID = expr ; expr ::= andExpr (|| andExpr)* andExpr ::= relExpr (&& relExpr)* relExpr ::= addExpr (=

6热度

4回答

无限语言不能定期？什么是有限语言？

我在一本书上可计算阅读：（克林定理）语言是正则的当且仅当它可以通过应用三个操作结合，串联，重复有限，从有限的语言获得次数。我很苦恼“有限的语言”。考虑这样的语言：L = a* 这是不是有限的。它是集合{0, a, aa, aaa, ...}，这显然是一个无限集合（0 =空字符串）。所以这是一种无限的语言，对吧？也就是说，“无限集合”的意思是“无限语言”，对吧？显然，a*是一种常规语言

-1热度

1回答

是否有不同类型的解析器？

考虑这个简单的语法： S - > a | b 集合可由语法来生成字符串是： {A，B} 因此，语法生成一组字符串。语法的解析器获取输入字符串并确定该字符串是否可以由语法生成。因此，语法分析器是识别器。至少，这是一个解析器的用法。但通常解析器用于其他事情。例如，语法分析器可能会接收输入字符串并创建一个包含输入数据并符合语法的树结构。在这种情况下，解析器不是识别器，它是一个数据结构构建器。

0热度

1回答

上下文敏感语法

我找描述以下语言的上下文敏感语法： L = { ww | w ∈ {a,b}*, |w| ≥ 1} <br> 我有这样一个事实的问题，没有规则，如X - >ε是允许的，因此我不能放置任何表示单词“中间”的非终结符。这个问题有什么窍门吗？如果你碰巧知道答案，请帮忙。

0热度

1回答

特定语言的上下文相关语法

如何构造生成此语言的语法？营造一个能产生一个语法L： L = {a^n b^m c^k|k>n, k>m} 我相信我的作品应该沿着这条线走： S-> ABCC A-> a|aBC|BC B-> b|bBC C-> c|Cc CB->BC 的想法是先从2 C，并保持经常多一个C，然后用C-> c |抄送广告尽可能多的c，因为我想要的。我怎么能为C记录m和n的数字。

2热度

1回答

RE：奇数长度字符串超过{0,1}包含正好两个0的

我刚开始学习正规郎和自动机理论，最近了解了正则表达式，所以我不知道任何复杂的符号，所以请坚持使用基本符号。现在的问题是：通过{0, 1}来为以下语言编写正则表达式，它是包含两个0 s的所有奇数长度字符串的集合。我得完成的第一部分（奇数部分），它应该是： (0+1)[(0+1)(0+1)]*（+相同|（或）我相信，我们了解到它作为+）但是，当我想到有整整两个0的IT变得非常混乱。我只可以看到，

2热度

2回答

试图生成一个简单的形式语法的所有语句

我是python的新手，试图在语法中生成所有可能的语句。下面是语法： #set of non terminals N = ('<subject>', '<predicate>', '<noun phrase>', '<noun>', '<article>', '<verb>', '<direct object>') #set of teminals T = ('t

0热度

1回答

这个CFG Bison定义有什么不对吗？

我有一个野牛文件中的以下语法： lst: ID COMMA lst | ID | /*empty*/ plst: lst SEMICOLON lst | SEMICOLON lst | lst ，其中第一条规则实际上是尝试映射像id1,id2,id3... 标识符的列表，而第二个要映射更多钞票夫妇分开列表一个分号。允许的可能性是：id11,id12,

2热度

3回答

有关正式语言，自动机，算法和数据结构的最佳网站是什么？

我想知道什么是最好的网站学习正式语言，自动机，算法和数据结构。最好有许多解决问题... 在此先感谢