能够纠正语法错误的软件是