为了确保机械地自动化，就需要在抽象过程中进行精确、严格的符号标记和建模，自动化就是机械地一步一步自动执行，其基础和前提是建模。