Marco T. Morazán
where else to find them
what they talk about
where they keep going back
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Derivation Visualization for Context-Free Grammar Design: Helping Students(…) | SPLASH-E 2025 | 2025-10-18 |
A stepwise derivation-visualizer integrated into FSM (Racket) draws colored derivation trees, shows last-applied production, supports leftmost/rightmost and… | ||
| Automatic Invariant Testing for Finite-State Machines | Scheme 2025 | 2025-10-16 |
Tool automatically generates unit tests for state invariants by traversing a machine’s transition relation in an FSM DSL in Racket, removing dead states, and… | ||
| Visualizing Composed Turing Machines | SPLASH-E 2024 | 2024-10-24 |
Two visualization tools are built into FSM (a Racket DSL): a static transition-diagram generator that turns composed Turing-machine descriptions into a single… | ||
| Using Computation Graphs to Explain Nondeterminism to Students | SPLASH-E 2024 | 2024-10-24 |
Paper introduces computation graphs implemented in FSM (a Racket DSL) that visualize nondeterministic runs by highlighting states in the original transition… | ||
| Composing Turing Machines in FSM | SPLASH-E 2023 | 2023-10-25 |
A domain-specific language called FSM DSL lets students define Turing machines, run unit tests, and compose machines with a small embedded language of… | ||
| Visualizing Why Nondeterministic Finite-State Automa Reject | Scheme 2023 | 2023-09-09 |
A visualization tool builds computation graphs from FSM ndfa definitions using a breadth‑first traversal (make_ndfa_CG_edges) to collect edges, remove… | ||
| Visualizing a Nondeterministic to Deterministic Finite-State Machine Transform... | Scheme 2023 | 2023-09-09 |
A visualization tool implements NDFA→DFA by computing empties, traversing reachable superstates instead of the full power set, and encoding a dead state; the… | ||
| Why Functional Programming Matters in CS Education | Scheme 2022 | 2022-09-16 |
Argues that functional programming makes it easier to teach abstraction, modularity, testing, recursion, mutation and distributed programming from day one, and… | ||
| nothing matches | ||