this.anyString = Automaton.makeAnyString();
emptyString = Automaton.makeEmptyString();
Automaton slash = Automaton.makeChar('/');
Automaton anyStringWithSlash = anyString.concatenate(slash)
.concatenate(anyString);
this.anyStringWithoutSlash = anyStringWithSlash.complement();
}
}