language-theory

language-theory

文章 0 浏览 6

函数的有效表示

功能类型A-> B从某种意义上来说并不是很好。尽管函数是一等值,但由于效率问题,人们常常无法自由地操作它们。您不能应用太多转换 (A -> B) -> (C -> …

っ〆星空下的拥抱 2024-12-17 19:22:35 3 0

“真实”的定义是什么?多维数组以及哪些语言支持它们?

我读过的大多数编程书籍都有这样一句话: “X 语言不支持真正的多维数组,但你可以用数组的数组来模拟(近似)它们。” 由于我的大部分经验都是基于 C…

临走之时 2024-12-16 20:05:30 6 0

语言理论 - 循环不变量 - 前置/后置条件

我正在为语言理论考试做复习作业。我们可以做的一些练习包括为几种方法编写前置条件和后置条件以及循环不变量。 我已经完成了一个,并且认为它非常好…

凑诗 2024-12-12 11:02:53 5 0

是字母表“a,b,c”上所有字符串的语言吗?具有相同数量的子串“ab” & “吧”常规的?

是字母表“a,b,c”上具有相同数量的子串“ab”和“a,b,c”的所有字符串的语言“ba”常规吗? 我相信答案是否定的,但是很难对其进行正式的演示,甚至…

時窥 2024-11-29 16:54:04 6 0

可变类型和不可变类型背后的理论是什么?

我欣赏 Python 的原因之一是它对可变类型和不可变类型的区分。在使用 Python 之前,我已经用 C 语言编程了一段时间,我惊讶地发现 Python 如此轻松地…

若有似无的小暗淡 2024-11-18 12:39:55 8 0

识别后缀公式的语法

我正在尝试创建一个后缀到中缀转换器,但无法创建后缀公式的语法。我也一直在寻找它一段时间但没有成功。 我可以使用什么语法来识别有效的后缀表达式…

葬シ愛 2024-11-17 22:25:27 9 0

找到至少有n个匹配元素的字符串

我有一个数字列表,我想找到其中至少 3 个... 这是一个例子, 我在 sql 数据库中有一个很大的数字列表,格式为(例如) 01-02-03-04-05-06 06-08-19-2…

丶情人眼里出诗心の 2024-11-15 02:28:22 7 0

Javascript 中的运行时优化

主要的 Javascript 解释器有内置的优化吗?我正在考虑非常简单的情况,例如 while(i < array.length) { ... } …

别再吹冷风 2024-11-06 09:12:56 9 0

为什么花括号后面不需要分号?

我知道语句后面需要分号(我指的是 Java、C++ 和类似语言),但花括号后面不需要分号。为什么会这样呢? if (a > b) printf("hello!"); // semicolon …

时光是把杀猪刀 2024-10-31 06:13:49 9 0

HTML 是一种上下文无关语言吗?

阅读一些 相关 问题让我思考了 HTML 的理论本质。 我在这里讨论的不是类似 XHTML 的代码。我正在谈论像这段疯狂的标记这样的东西,它是完全有效的 HTM…

因为看清所以看轻 2024-10-20 14:06:03 11 0

证明正则语言集合是上下文无关语言集合的真子集

我正在温习(不是家庭作业)一些计算理论,并遇到了这个问题: 如何证明常规语言集是上下文无关语言集的真子集。 现在我知道一种语言是正规的,当且仅…

天冷不及心凉 2024-10-11 01:27:55 12 0

使用最少的分隔符解析列表

我有一种包含 4 种语句的语言:s00、s01、s10、s11,其中前导 1 表示初始关键字,尾随 1 表示终止,并且我有一个分隔符“;”。我可以用“;”终止任何…

风筝在阴天搁浅。 2024-10-08 03:16:30 9 0

正则表达式与cfg交集的算法

我正在寻找一种算法,该算法输出正则表达式和上下文无关语法的交集是否为空。我知道这个问题是可判定的,但是,我找不到任何示例实现(以伪代码形式)…

蓝颜夕 2024-10-01 12:43:59 6 0

上下文无关语法问题

对于初学者来说,这是一个家庭作业问题。我有一个想法,但我仍然无法得到正确的答案。我不是在寻求答案,我只是寻求帮助来回答问题。 我目前正在尝试…

夏有森光若流苏 2024-09-30 08:24:28 11 0

有没有一种面向对象的静态类型语言,其变量类型很少?

我喜欢阅读编程理论,所以你能告诉我是否有任何面向对象的静态类型语言允许变量有几种类型? 伪代码中的示例: var value: BigInteger | Double | Nil…

冰雪梦之恋 2024-09-18 22:37:05 19 0
更多

推荐作者

梦断已成空

文章 0 评论 0

瞎闹

文章 0 评论 0

寄意

文章 0 评论 0

似梦非梦

文章 0 评论 0

更多

友情链接

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