Next: Single vector (compact representation)
Up: Automaton Representations
This time, we use directly the STL class map to store couples in for each state. This might be interesting when trying to minimize memory
use, especially when the occupation ratio of the transition is low. The
drawback is logarithmic access to transitions.