多项选择题
A.正规式B.上下文无关文法C.语言的语义规则D.有限自动机
A.Xab+cd-/-bc*a+-:= B.Xab+/cd--bc*a+--:= C.Xab+-cd-/abc*+-:= D.Xab+cd-/abc*+--:=
A.综合属性 B.继承属性 C.自然属性 D.赋值属性