标签： union automata context-free-language
我很困惑，因为它不应该是确定性的，因为（a，zo / azo）将进入q1和（a，z0 / eplison）进入最终状态。这是真的吗？