FSM

Version History

Version 1.5
- Fixed bug for show-transitions for Turing machines
- Fixed bug in rename-states
- fixed bug in consume in tm.rkt for Language Recognizers
- Fixed rename states for Turing machines and Language Recognizers
Version 1.4
- Added sm-graph
- Added colorblind mode to sm-graph
- Minor graphical changes to the visualization tool (new color 😊)
Version 1.3
- Added Turing Machine support to visualization tool
- Minor bug fixes with the visualization tool
Version 1.2
- Added Pushdown Automata support to the visualization tool
- Added scroll bars to input field for visualization tool

Publications

Functional Automata - Formal Languages for Computer Science Students

Marco T. Morazán, Rosario Antunez

An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability. Programming students...

Link to article

Visual Designing and Debugging of Deterministic Finite-State Machines in FSM

Marco T Morazán, Joshua Schappel, Sachin Mahashabde

This article presents a visualization tool for designing and debugging deterministic ﬁnite-state machines in FSM–a domain speciﬁc language for the automata theory classroom. Like other...

Link to article

FSM Error Messages

Marco T. Morazán, Josephine A. Des Rosiers

Computer Science students, in general, find Automata Theory difficult and mostly unrelated to their area of study. To mitigate these perceptions, FSM...

Link to article

Welcome to FSM

Version History

Publications

Functional Automata - Formal Languages for Computer Science Students

Marco T. Morazán, Rosario Antunez

Visual Designing and Debugging of Deterministic Finite-State Machines in FSM

Marco T Morazán, Joshua Schappel, Sachin Mahashabde

FSM Error Messages

Marco T. Morazán, Josephine A. Des Rosiers