Using theoretical computer simulators for formal languages and automata theory
Using theoretical computer simulators for formal languages and automata theory
复制标题
使用理论计算机模拟器进行形式语言和自动机理论
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
W. Yurcik
中科院分区：
文献类型：
--
作者：
C. Chesñevar;Maria Laura Cobo;W. Yurcik
形式语言和自动机理论（FLAT）都是CS课程的核心，但很难教和学。这种情况促使开发了一些理论计算机模拟器作为教育工具，让学生“生活”的许多主题，传统上只提出数学。本文讨论了目前可通过互联网免费提供的软件工具的主要特点，用于教学FLAT。结合实际工作经验，分析和讨论了FLAT软件工具之间的取舍问题。最后，我们的一般建议整合到一个既定的课程平面软件工具。
Both formal languages and automata theory (FLAT) are core to the CS curricula but are difficult to teach and to learn. This situation has motivated the development of a number of theoretical computer simulators as educational tools to allow students to "bring to life" many topics that traditionally were presented only mathematically. This paper discusses the main features of software tools currently freely available via the Internet for teaching FLAT. Based on our practical experience, the tradeoffs between different FLAT software tools is analyzed and discussed. We conclude with general recommendations for integrating FLAT software tools into an established curriculum.