第五节 优化命令式和否定式语言