Formais:形式语言学科作品库

常规语言操纵器 操作常规语言的应用程序，通过 GR、AF（确定性或非确定性）和 ER 表示，其中： 检查两个LR L1和L2是否相等 建立 AFD 最小 M | T(M) 是给定 LR 的补集； T(M) = L1 ∩ L2； T(M) = L1 U L2; T(M) 是给定 LR 的反向。 枚举给定 LR 长度为 n 的句子。 检查 LR 是空的、有限的还是无限的。 注释 使用转换表表示 AF（该表必须可直接编辑！）。 用大写字母表示状态 (AF) 和非终结符 (GR)。 （初始状态用“->”标识，最终状态用“*”标识）。 字母符号的大小必须为 1，并且可能仅限于数字和小写字母。 使用 & 表示 epsilon。 不得预先建立符号和状态名称（终结符和非终结符）。 GR 必须遵循课堂中使用的标准（EX. S->aS|bB|c）。 RE 必须遵循类中使用的标准 (E