第一节 QPA系统的形式语言LQP