摘要：
传送门 【大意】 给定一个 CNF 和一个有向图。有向图上的每一条边都写上了一个字母。 要求你从 $s$ 到 $t$ 走一条尽可能短的路，且将经过的字母写下来后，这个字符串能被 CNF 接受。 输出字符串的串长。 【分析】 在有向图上行走，并写下边上的字符，这个过程等价于一个 DFA： 将所有状态的 阅读全文
摘要：
起因是我队友问了我一个问题： 我后面看了一下那题，等价的题意是求一个 CFG 和 DFA 交集，能识别的最短串的长度。 虽然编译原理没学过，但是我在可计算理论上有学到过：有个结论是，CFG 和 DFA 的交集也是 CFG ；而 CFG 推导出的最短串可以用队列+贪心的方法求解。但并没有学过如何对于给 阅读全文