formal-languages

formal-languages

文章 0 浏览 3

构建CFG

如何为语言 x^ay^bz^2(a+b) 构造上下文无关语法,其中 a&gt=0,b&gt=0。 感谢您的帮助...…

那小子欠揍 2024-11-03 13:10:37 2 0

正式语言的堆栈翻译器

有人可以解释一下堆栈翻译器是如何工作的吗?我认为它主要用于词法分析(我可能是错的)。欢迎任何其他材料或链接!谢谢 !…

懷念過去 2024-10-31 14:42:03 1 0

带有连接的常规语言

常规语言在以下操作下是封闭的: init(L) = 字符串 w 的集合,使得对于某些 x,wx 在 L 中。 编辑: x 可以是任何字符串、字符或空字符串 我怎样才能…

忆梦 2024-10-31 13:07:50 1 0

ANTLR 中是否存在逻辑 AND 和 NOT?

ANTLR 里没有逻辑吗?我基本上试图否定我所拥有的规则,并且想知道它是否可能,还有 AND 逻辑吗?…

后来的我们 2024-10-30 00:38:21 1 0

正则表达式

首先,我不知道这是否是我所要求的正确翻译。 在我的一门课程中,我们只是开始学习正则表达式、形式语言等。 Alphabet {1,0,S,R} Terminals {1,0} Rul…

橘味果▽酱 2024-10-17 06:32:16 4 0

如何用编程语言 C 设计整数接受器

我正在读彼得·林茨(Peter Linz)写的一本名为《形式语言和自动机简介》的书。在其中一个问题中,它要求我“用编程语言 C 设计一个整数接受器” 有人…

相思碎 2024-10-15 09:59:14 4 0

是否可以在 php/html 风格的情况下正确完成嵌套?

我怀疑甚至可能有一个数学证明来证明这个问题的答案是“不”,但是,问题是:是否可以发明一种类似 php 的语言(即一些在幕后评估代码的行,以及一些…

相权↑美人 2024-09-30 00:06:29 5 0

当你证明一种语言是可判定的时,你实际上在做什么?

当你证明一种语言是可判定的时,你实际上在做什么?…

安稳善良 2024-09-28 19:09:14 4 0

正则表达式:数学方式与编程方式

考虑以下正则表达式: 7+ (7)+ 非常熟悉数学正则表达式理论的人是否同意这两个正则表达式在语义上相同?…

揪着可爱 2024-09-13 01:02:35 9 0

哪种正式语言类是具有唯一键的 XML 和 JSON(它们不是上下文无关的)

Closed. This question is off-topic. It is not currently accepting answers. 想要改进此问题吗?更新问题,使其关于- Stack Overflow 的主题。 12…

歌枕肩 2024-09-12 03:51:49 7 0

什么是正式的编程语言?

编程语言是正式编程语言是什么意思?哪些语言是正式的编程语言?哪些是非正式编程语言? 我还没有找到很好的解释。…

ι不睡觉的鱼゛ 2024-08-29 18:53:26 8 0

程序的有效状态域是常规语言吗?

如果您查看程序的调用堆栈并将每个返回指针视为令牌,需要什么样的自动机来构建程序有效状态的识别器? 作为推论, &gt需要什么样的自动机来为特定的…

燃情 2024-08-29 01:45:21 10 0

Shift-reduce:什么时候停止减少?

我正在尝试学习移位归约解析。假设我们有以下语法,使用强制执行操作顺序的递归规则,灵感来自 ANSI C Yacc 语法: S: A P : NUMBER | '(' S ')' M :…

余罪 2024-08-28 06:24:59 9 0

我需要为这种语言找到一个自动机

请帮我找到一个语法或自动机来决定以下语言: anbncn 其中 n≥1…

瞎闹 2024-08-26 06:48:09 5 0

正则表达式之间的距离

我们可以计算正则表达式之间的距离吗? 这个想法是测量两个正则表达式在哪些方面相似。…

秋凉 2024-08-19 01:43:43 9 0
更多

推荐作者

1CH1MKgiKxn9p

文章 0 评论 0

ゞ记忆︶ㄣ

文章 0 评论 0

JackDx

文章 0 评论 0

信远

文章 0 评论 0

yaoduoduo1995

文章 0 评论 0

霞映澄塘

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文