If we want to cram n states for what she’s doing and m states for what she’s carrying into a single machine, we need n × m states. With two machines, it’s just n + m.
This is fascinating! I wonder what other mathematical expressions other relationships from statecharts would bring?
If we want to stick to the confines of an FSM, we have to double the number of states we have
Interestingly this is part of the problem David Harel sought to solve when coming up with statecharts. As per the abstract of Statecharts: A visual formalism for complex systems
Our diagrams, which we call statecharts, extend conventional state-transition diagrams with essentially three elements, dealing, respectively, with the notions of hierarchy, concurrency and communication
https://www.sciencedirect.com/science/article/pii/0167642387900359