如果有一个包含非终结可空的生产,那么该生产是否可以为空?

时间:2018-03-21 22:32:57

标签: context-free-grammar automata formal-languages

我想知道,如果我的产品包含非终结可空,那么该产品是否可以为空?

A→aB | ε

B→bA | ë

在这个例子中,

是否可以为空,因为A可以为空?

1 个答案:

答案 0 :(得分:0)

当且仅当它具有可为空的生产时,

TreeSet才可为空。生产B不可为空,因为即使B→bA派生空字符串,派生中仍然存在A。制作b显然不可为空(除非B→e是拼写错误。)所以e不可为空。