程序性知识可以划分为模式识别程序和（）。