Effectful Mealy Machines
Logic in Computer Science
2025-12-24 v3 Category Theory
Abstract
Effectful Mealy machines, which we introduce, are a generalization of Mealy machines with global effects determined by an effectful triple. We provide semantics of effectful Mealy machines in terms of both bisimilarity and traces: bisimilarity is characterized syntactically, via uniform feedback; traces are constructed coinductively in terms of streams. We prove that this framework characterizes standard causal processes and existing flavours of Mealy machine, bisimilarity, and trace equivalence. In the commutative case, we introduce a monoidal generalization of Raney's causal functions: monoidal causal processes.
Keywords
Cite
@article{arxiv.2410.10627,
title = {Effectful Mealy Machines},
author = {Filippo Bonchi and Elena Di Lavore and Mario Román},
journal= {arXiv preprint arXiv:2410.10627},
year = {2025}
}
Comments
Conference version of "Effectful Mealy Machines: Bisimulation and Trace" (arXiv:2410.10627v2). 52 pages