多项选择题
A.常量合并 B.公共子表达式删除 C.复写传播 D.死代码删除
A.正规式B.上下文无关文法C.语言的语义规则D.有限自动机
A.Xab+cd-/-bc*a+-:= B.Xab+/cd--bc*a+--:= C.Xab+-cd-/abc*+-:= D.Xab+cd-/abc*+--:=