sinkState = findSinkState(this.automaton);
sinkState = findSinkState(this.automaton);
sinkState = findSinkState(this.automaton);
sinkState = findSinkState(this.automaton);
sinkState = findSinkState(this.automaton);
sinkState = findSinkState(this.automaton);
sinkState = findSinkState(this.automaton);
sinkState = findSinkState(this.automaton);