语义关注的是程序执行后所表达的含义及行为是否符合预期。与语法不同，语法判断结构是否正确，而语义判断行为是否正确。