reverse

Returns an automaton accepting the reverse language.