regexp.abstract.automata.world