多项选择题

A.正规式
B.上下文无关文法
C.语言的语义规则
D.有限自动机