标签: context-free-grammar automata formal-languages
我想知道,如果我的产品包含非终结可空,那么该产品是否可以为空?
A→aB | ε
B→bA | ë
是否可以为空,因为A可以为空?
答案 0 :(得分:0)
TreeSet才可为空。生产B不可为空,因为即使B→bA派生空字符串,派生中仍然存在A。制作b显然不可为空(除非B→e是拼写错误。)所以e不可为空。
TreeSet
B
B→bA
A
b
B→e
e