Each automaton is denoted by an equivalent regular expression.
Assertions allows a regular expression to match only under certain controlled conditions.
