多项选择题

A.首位考察
B.用某产生式后,不能出现X中不包含的终止符
C.用某产生式后,不能导致最终符号变长或变短
D.末位考察