next up previous
Next: Single vector (compact representation) Up: Automaton Representations Previous: Matrix

Adjacency list by maps

This time, we use directly the STL class map to store couples in $\Sigma \times
P(Q)$ 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.

Vincent Lemaout