随着近10年来的迅速发展，计算机已经深入人们生活的方方面面。其中，计算机辅助教学(CAI)已经极大地改变了传统的教育教学方式，提高了教师的教学效果和学生的学习兴趣。但是传统的计算机辅助教学虽然在教学中扮演重要角色，但是在教学服务，特别是计算机专业的教学服务的运用中仍处于较低水平，教学辅助软件大多还停步在多媒体课件(PPT)、视频演示和题库的阶段，没有利用到最新的计算机研究成果。　　 针对传统的计算机辅助教学(ChI)的不足，通过对教学辅助软件的分析研究及开发实践，论文提出了课程软件的概念，指出课程软件应该与课程紧密相关，同时具有教学辅助和学习辅助的功能。智能化课程软件结合了计算机科学和教育学领域的最新研究成果，它在设计时同时考虑到老师和学生的需求，并且把学生当作教学活动的主体，覆盖整个教学过程，辅助学生课上和课下的学习活动。　　 基于以上的理念，本文研究了智能化课程软件的需求，并且实现了形式语言与自动机这门课程的智能化课程软件，包括正则语言部分和下推自动机部分。该课程软件的算法演示功能可以提供给老师在课堂上讲解相应知识，同时它的算法演示的交互模式可以供学生在课下复习和巩固相应知识。　　 在本课程软件中，我们基于教育学中知识掌握的标准和自主学习的思想，将教学辅助软件做成自由度极大的平台，使学生可以自由地解题，软件可以对学生的错误进行实时检测，及时纠正学生的错误。课程软件还可以智能地记录下学生对于知识的掌握程度，进行更加针对学生掌握知识的薄弱环节出题，节省学生学习时间。　　 最后，本文比较了智能化课程软件与传统计算机辅助教学的优缺点，并且为以后的工作做了展望。