TY - RPRT TI - Effective Reductions of Mealy Machines AU - Florian Renkin AU - Philipp Schlehuber-Caissier AU - Alexandre Duret-Lutz AU - Adrien Pommellet PY - 2022 UR - https://arxiv.org/abs/2206.10228 ID - 2206.10228 ER -