2 papers
cs.CC2025
Symport/Antiport P Systems with Membrane Separation Characterize P^(#P)
Vivien Ducros, Claudio Zandron
Membrane systems represent a computational model that operates in a distributed and parallel manner, inspired by the behavior of biological cells. These systems feature objects tha…
cs.LO2025
Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
Titouan Carette, Marc de Visme, Vivien Ducros +2
Minimizing finite automata, proving trace equivalence of labelled transition systems or representing sofic subshifts involve very similar arguments, which suggests the possibility…