（ ）的任务是分析并检验模式及子模式的正确性与合理性。