20 citations
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2019★ 6 cited
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, a library to program state ma…
cs.FL2014★ 20 cited
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 decidabilit…