Haskell 中的谓词逻辑
我一直在 Haskell 中使用以下数据结构来表示命题逻辑： data Prop = Pred String | Not Prop | And Prop Prop | Or Prop Prop | Impl Prop Prop | Equ…
如何将语言分为常规语言、上下文无关语言和短语结构语言？
如果给你一种语言，你如何判断它是常规语言、CF 但不是常规语言，还是短语结构但不是 CF？有没有好的方法来解决这个问题？我可以随意尝试制作 FA 或 P…
上下文无关语言的闭包性质
我有以下问题： 语言 L1 = {a^n * b^n : n>=0} 和 L2 = {b^n * a^n : n>=0} 是 上下文无关语言，因此它们在 L1L2 下是封闭的，因此 L={a^n * b^2n…
计算理论 - 对上下文无关语言使用泵引理
我正在复习计算理论课程的笔记，但我无法理解如何完成某个证明。问题是： A = {0^n 1^m 0^n | n>=1, m>=1} Prove that A is not regular. 很明显…
语言 A = {0^n 1^n 0^n} 上下文无关吗？
我只是对不同的语言进行了一些思考（因为我正在复习即将到来的期末考试），我想不出一个有效的下推自动机来处理语言 A = {0^n 1^n 0^n | n>=0}。这…
Shift-reduce：什么时候停止减少？
我正在尝试学习移位归约解析。假设我们有以下语法，使用强制执行操作顺序的递归规则，灵感来自 ANSI C Yacc 语法： S: A P : NUMBER | '(' S ')' M :…
