单项选择题

A.正规式
B.有穷自动机
C.下推自动机
D.正规文法