A function describing a strings that gets you to a given state.

q_{0} \text{ if ...}\\ q_{1} \text{ if ...}\\ \vdots \end{cases}$$