是这样的一种工具,它可以接受文法语言描述,并能产生识别这些语言的语句的程序。