如果文法 L-bLa 加marker后 L-NbLa N-E 会怎么样
加了marker后,文法变成:
L -> N b L | a $ N -> E #
其中,$表示输入串的结尾,#表示marker。
这个文法是一个上下文无关文法,可以生成以任意个b结尾的字符串,例如:
L -> N b L -> E b N b L -> E b E b N b L -> E b E b E b ...
也可以生成以a结尾的字符串:
L -> a $
其中,N -> E可以看作是一个空产生式,即N可以被替换成空串。因此,这个文法可以生成任意个b结尾的字符串和以a结尾的字符串。
原文地址: https://www.cveoy.top/t/topic/hh2g 著作权归作者所有。请勿转载和采集!