language-theory

language-theory

文章 0 浏览 3

上下文无关语言问题(泵引理)

我知道这与编程没有直接关系,但我想知道是否有人知道如何将泵引理应用于以下证明: 表明L={(a^n)(b^n)(c^m) : n!=m}不是上下文无关语言 我对应用泵引…

飘落散花 2024-08-28 13:58:09 13 0

允许递归构造函数可能有什么好处(如果有)?

在 Java 中,构造函数不能是递归的。编译时错误:“递归构造函数调用”。假设我们没有这个限制。 要记住的事情: 构造函数的返回类型是 void。由于它…

自此以后,行同陌路 2024-08-27 20:45:42 10 0

“注册机”到底是什么?

来自 http://code.google.com/p/unladen-swallow/wiki/ ProjectPlan 我引用: “使用 JIT 还允许我们将 Python 从基于堆栈的机器移动到寄存器机器,这…

怀念你的温柔 2024-08-21 20:17:36 13 0

CPS 转换后的管理 redexe 到底是什么?

在Scheme和CPS转换的背景下,我在决定什么方面遇到了一些麻烦管理redexes(lambda)正是: 所有由 CPS 转换引入 仅由 CPS 转换引入的 lambda 表达式,…

挽心 2024-08-18 21:22:09 9 0

数据类型编程

我知道“命令式”和“函数式”编程,但我对“数据类型”编程知之甚少。是否存在这样的事情以及它与其他范式有何关系?…

口干舌燥 2024-08-14 02:53:48 7 0

关于基于契约/约束的类型系统的好信息?

问题: 我正在寻找有关类型系统的良好介绍, 基于合同/约束 (抱歉,我不记得哪个术语适合类型系统)。 我需要这些信息才能实现此类实验类型系统。 据…

作妖 2024-08-10 21:03:32 12 0

“注册机”到底是什么?

来自 http://code.google.com/p/unladen-swallow/wiki/ ProjectPlan 我引用: “使用 JIT 还允许我们将 Python 从基于堆栈的机器移动到寄存器机器,这…

污味仙女 2024-08-09 17:59:51 12 0

除了 Logo 和 Emacs Lisp 之外,还有哪些纯动态作用域语言?

动态作用域语言有哪些示例?选择这种设计的原因是什么?是因为它很容易实现吗?…

泪痕残 2024-08-05 22:16:21 13 0

文本协议哪个不是常规语言?

表示与文本网络协议相关的语法的常用方法是使用 ABNF。 就像任何 EBNF 相关的元语法一样,ABNF 能够描述上下文无关语法。 这些上下文无关语法可以表示…

恬淡成诗 2024-08-03 17:10:02 6 0

语言评估问题:Eager Vs. 懒惰的

我正在读 Shriram 的 PLAI,我陷入了这些问题: 你能证明急切和懒惰的政权总是会产生相同的答案吗? (Shriram 要求查看他开发的语言,但是否有另一种…

給妳壹絲溫柔 2024-07-30 17:58:03 7 0

强制显式使用 this/self 指针有什么好处?

拥有 this/self/me 指针强制明确吗? 根据 OOP 理论,方法应该主要(仅?)对成员变量进行操作,并且方法的参数。 在此之后,引用成员变量应该比引用…

夏天碎花小短裙 2024-07-21 06:53:30 7 0

为什么在 C# 中顺序对于静态初始化很重要?

此代码在 C# 中具有明确定义的不工作行为: class Foo { static List&ltint&gt to = new List&ltint&gt( from ) // from is still null static IEnume…

情绪操控生活 2024-07-15 11:00:31 7 0

经常使用很少定义的术语:左值

什么是左值?…

擦肩而过的背影 2024-07-14 05:42:29 6 0

while 语言

在我的计算语言理论课程中,我们接到了一项作业,要求用一种只有 while 语句进行流程控制(没有 if 语句)的语言来实现一段代码。 这主要是为了证明只…

笑着哭最痛 2024-07-13 07:01:37 8 0

老年人计算机科学

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

静赏你的温柔 2024-07-08 16:43:25 9 0
更多

推荐作者

1CH1MKgiKxn9p

文章 0 评论 0

ゞ记忆︶ㄣ

文章 0 评论 0

JackDx

文章 0 评论 0

信远

文章 0 评论 0

yaoduoduo1995

文章 0 评论 0

霞映澄塘

文章 0 评论 0

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