Bug fix: a final state can be related to multiple regular expressions.