A common problem
It is often the case that conventional finite state machines blow-up in size for big problems
- This is especially true for deterministic machines (which are usually desirable)
- And for machines capturing concurrency (because of the potential interleavings that must be captured)