【正确答案】 A

【答案解析】解析：描述程序语言的语法是上下文无关语法，由它产生程序语言是上下文无关语言。这种语言与下推自动机等价，即每一个程序语言的语法，都可以用一个下推自动机来识别。下推自动机中的下推指的就是一个栈，一个下推自动机的模型如下图所示。