解释 CFG 是否被非确定性下推自动机识别