一个编译原理问题

今天在上自习发呆的时候想到了这样一个问题

假设有这样一个文法

$$ \begin{aligned} &S \to A a \\ &A \to a \\ &A \to \epsilon \end{aligned} $$

这样一个文法明明没有二义性,但是对这个文法生成LL表却会出现冲突

a $
S $$ S \to A a $$
A $$ A \to a $$ 或者 $$ A \to \epsilon $$

等之后研究过后再修改文章叭,顺便测试一下katex效果怎么样

我已经知道了,这样一个文法根本就不是一个LL文法,LL文法需要满足一些条件,其中就有下面一条:

如果存在产生式
$$ A \to \epsilon $$
那么对于LL文法
$$ FIRST(A) \cap FOLLOW(A) = \empty $$
要成立才行

题外话,这波一诊考完了,感觉考的不是很好,这些题太迷惑了,完全没办法好好做,每天还要花好多时间坐车去考场,难受,三月份左右出成绩的话到时候看看能考多少分吧,各科都没考好呜

知识共享署名-相同方式共享 4.0 国际许可协议
渝ICP备2021001434号
© 2020 Anillc - Powered By Hexo And Merry