activity
20142022
most citedFunctional Automata - Formal Languages for Computer Science Students

20 citations · 30 across the 6 of their papers we have counts for

collaborators

6 papers

cs.CY2022

Introduction to Functional Classes in CS1

Marco T. Morazán

Students introduced to programming using a design-based approach and a functional programming language become familiar with first-class functions. They rarely, however, connect fir…

cs.CY2022

Design of Classes I

Marco T. Morazán

The use of functional programming languages in the first programming course at many universities is well-established and effective. Invariably, however, students must progress to s…

cs.DS2019★ 1 cited

Vector Programming Using Generative Recursion

Marco T. Morazán

Vector programming is an important topic in many Introduction to Computer Science courses. Despite the importance of vectors, learning vector programming is a source of frustration…

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.PL2018★ 3 cited

Vector Programming Using Structural Recursion

Marco T. Morazán

Vector programming is an important topic in many Introduction to Computer Science courses. Despite the importance of vectors, learning vector programming is a source for frustratio…

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…