跳到主要内容
数学

标记为[形式语言]的问题

提出问题

计算机科学和语言学研究形式语言。它们通常使用各种类型的语法（例如规则、无上下文）和自动机（例如确定性和下推自动机、图灵机）进行定义。形式语言有一个层次结构，它基于可用于生成语法和自动机的类型。

2,000问题
最新的 活动 弹跳 未答复
筛选依据
排序依据
标记为
1 投票
0 答案
50 意见

如果我们可以在对象理论中包括自我参照语言，为什么我们需要一个元理论？

我想知道为什么我们需要一个元理论来讨论一个理论——为什么我们不能在理论本身所基于的形式系统的语言中添加自我参照术语。。。
Mia公主的用户头像
米娅公主
  • 2,839
2 投票
1 回答
61 意见

如何证明满意感？如果$\mathcal{A}$是一个字母表，那么$\mathcal{A{$中所有单词的集合$W$是可数的。

我试图证明如果$\mathcal{A}$是一个字母表，那么$\mathcal{A{$中所有单词的集合$W$是可数的。在简历中，我使用了哥德尔枚举法。我索引$\…中的所有符号。。。
Alejo的用户头像
阿莱霍
  • 241
4 投票
2 答案
567 意见

形式语言级联是一个二进制操作？

在形式语言理论中，两个字符串的串联可以被视为二进制操作吗？如果是，什么是结构域和密码子？您可能会认为，如果给定$\mathcal{A}$字母表，那么$W。。。
Alejo的用户头像
阿列霍
  • 241
0 投票
0 答案
29 意见

形式理论证明。

公理：$A\leq A$规则：$\frac{A\leqC}{最小值（A，B）\leqC}$$\frac{A\LeqC；B\leqC-}{最大值$$\压裂{最小（A，B）\leq C}{最小$$\压裂{。。。
Danilo Jonić的用户头像
达尼洛·乔尼奇
  • 101
-1 投票
0 答案
35 意见

确定其语言是一组逻辑公式的语法。

我需要找到以下集合的语法：$$\left\{p_n，\perp，\neg，\Rightarrow\right\}，n\geq 0$$现在，我是通过将新符号$P$定义为$P\rightarrowp_n$来开始这项工作的。然后，我定义。。。
Danilo Jonić的用户头像
达尼洛·乔尼奇
  • 101
11 投票
1 回答
219 意见

有限单体的“泵引理”

设$M$是有限幺半群。我试图证明以下内容：存在一个常量$N$，如果$N\geqN$和$m_1，\ldots，m_N在m$中，那么$m_1\cdots m_N$的某些子字是幂等元。(...
neddo的用户头像
尼多
  • 205
2 投票
1 回答
41 意见

$\lambda$-微积分中括号的计算不明确

我在计算此$\lambda$-表达式时遇到问题。$$（\lambda x.\ lambda y.x（yx））\（\lampda z.w）$$根据在线计算器，结果应该是$\lambda y.w$。但我真的很困惑。。。
Flairo的用户头像
弗莱罗
  • 77
2 投票
0 答案
40 意见

正式证明中应该有多少符号？是否有通用指南？

我正在用形式语言理论写一篇会议论文，其中有一个相关的证明，我发现自己在努力学习记谱法。特别是，我不知道什么时候应该支持符号，什么时候应该。。。
JonasPK的用户头像
乔纳斯PK
  • 21
0 投票
0 答案
41 意见

既然公理是用普通语言描述的，那么这有没有产生过问题？

人们用公理形式化数学。但公理仍然需要一种自然语言来描述它们。由于在陈述公理时使用自然语言而导致的定义不准确。。。
Den4ik的用户头像
Den4ik公司
  • 1
0 投票
1 回答
87 意见

NFA上$\partial（q，a）=\emptyset$的行为是什么？

假设NFA为$N=（Q，\Sigma，Q_0，\partial，F_Q）$，其中$\partial:Q\times（\Sigma\cup\{varepsilon\}）\to\mathcal{P}（Q）$。对于任何……来说，$\partial（q，a）=\emptyset$的行为令人困惑。。。
linear_combinati_probabi的用户头像
线性组合概率
  • 1,488
0 投票
0 答案
43 意见

图灵机定义语言的可判定性和半可判定性

让我们定义输入字母表（A={0,1}）和磁带字母表（T={0,1，B}）。让（U）成为通用机器。对于单词（a^*$中的$w\），我们定义图灵机（$M_w$）如下：如果（w）是。。。
Weronika L的用户头像
韦罗尼卡L
  • 1
0 投票
0 答案
31 意见

循环不变量的形式-算法

当使用循环不变量证明算法时，我们需要检查这三件事。循环不变量在进入循环之前保持不变（初始化）如果循环不变量保持在循环之前。。。
阿古斯丁·G的用户头像
阿古斯丁·G。
  • 349
1 投票
0 答案
29 意见

为什么下面的想法不能证明“如果$A{1}，A{2}$是正则语言，那么$A{1'+A{2{$也是正则语言”

定理为什么下面的想法不能证明语句“如果$A{1}，A{2}$是正则语言，那么$A{1'+A{2{$也是正则语言”（连接操作）参数如果有人设计自动机。。。
Debu的用户头像
杰布
  • 676
0 投票
0 答案
58 意见

非类型lambda演算项的集合论定义

我正在尝试将非类型化lambda演算的固有范围术语的以下定义（Agda）转换为更数学（尤其是集合理论）的符号：...
用户11718766的用户头像
用户11718766
  • 371
0 投票
1 回答
48 意见

$\{\varepsilon\}^+（Kleene plus）=\{\varepsilon\{$[关闭]的证明是什么

所以我理解$\{\varepsilon\}^*=\{\valepsilon\}$的证明，但是我不明白为什么$\emptyset^+=\{\}$但是$\{\ varepsillon\}^+=\{\varesilon\}$。因为如果$\的定义。。。
卡里奥布罗的用户头像
卡洛布罗
  • 1

15 30 50 每页
1
2 三 4 5
…
134