FSM Builder：用于编写自动批准有限自动机问题的工具
计算机与社会
2024-05-06 v1 形式语言与自动机理论
摘要
确定性有限自动机和非确定性有限自动机 (DFA 和 NFA) 是计算理论入门课程中常教授的抽象计算模型。这些模型具有重要应用 (如快速正则表达式匹配)，并用于引入形式语言理论。学生在最初学习时常难以理解这些模型 due to its 抽象水平。因此，已开发出各种教学工具以允许学生练习这些模型。我们介绍 FSM Builder，一种新的教学工具，使学生能够通过图形编辑器练习构建 DFA 和 NFA，提供个性化反馈和部分信用。用于生成这些的算法深受前作启发。其主要优势在于更大的灵活性和可扩展性。这得益于该工具使用开源软件包中的高效算法实现，从而便于扩展和问题创建。我们讨论了该工具的实现方式、其与前作的不同之处，以及在多个大型课程中使用经验的收获。调查结果表明，该工具提供的界面和反馈对学生有用。
关键词
引用
@article{arxiv.2405.01717,
title = {FSM Builder: A Tool for Writing Autograded Finite Automata Questions},
author = {Eliot Wong Robson and Sam Ruggerio and Jeff Erickson},
journal= {arXiv preprint arXiv:2405.01717},
year = {2024}
}
备注
7 pages