Semirings of formal sums and injective partial transformations

Maximilien Gadouleau, Marianne Johnson

The semiring of discrete dynamical systems is a simple algebraic model for modularity in deterministic systems. The objects of the semiring are finite transformations (viewed as di…