R(ABCD)，F={B->D,D->B,AB->C}

问题遇到的现象和发生背景

判断范式，有两个关键码怎么判断范式的
例二：R(ABCD)，F={B->D,D->B,AB->C}

img


这个关系模式属不属于3NF的情况

img

遇到的现象和发生背景，请写出第一个错误信息
用代码块功能插入代码，请勿粘贴截图。 不用代码块回答率下降 50%
运行结果及详细报错内容
我的解答思路和尝试过的方法，不写自己思路的，回答率下降 60%
我想要达到的结果，如果你需要快速回答，请尝试 “付费悬赏”

回答不易，求求您采纳点赞哦

有几种方法可以判断一组给定规则或产生式的范式，但两种常用方法是乔姆斯基层次结构和格雷巴赫范式。

乔姆斯基层次结构根据规则或产生式的形式将形式语法分为四种类型：

  • 0 型文法包括所有形式文法，也称为无限制文法。
  • 类型 1 语法，也称为上下文相关语法，具有 A -> B 形式的规则，其中 A 和 B 可以是任何终结符和非终结符的字符串。
  • 类型 2 文法，也称为上下文无关文法，具有 A -> a 或 A -> aB 形式的规则，其中 A 是非终结符，a 和 B 可以是终结符和非终结符的任意字符串。
  • 类型 3 语法，也称为常规语法，具有 A -> a 或 A -> aB 形式的规则，其中 A 和 B 是非终结符，而 a 是终结符。
  • Greibach 范式是上下文无关文法的一种特定形式，其中所有规则的形式为 A -> aX1X2...Xn，其中 A 是非终结符，a 是终结符，X1、X2、...、Xn 是非终端。

利用这两种方法，我们可以看出给定的规则集R(ABCD), F={B->D,D->B,AB->C}是上下文无关文法，但不在Greibach 范式，因为在规则 AB->C 中，AB 是一串非终结符，而不是单个非终结符。