AutomatonByRecursion.java

package pl.edu.amu.wmi.daut.base;

import java.util.List;

/**
 * klasa która decyduje czy automat zaakceptuje dany napis.
 */
public final class AutomatonByRecursion implements Acceptor {

    /**
     * konstruktor, pobiera specyfikacje automatu.
     */
    public AutomatonByRecursion(final AutomatonSpecification specification) {
        automaton = specification;
    }

    /**
     * Metoda, która będzie wywoływana rekurencyjnie dla aktualnych stanów,
     * pobiera wszystkie przejscia z bieżącego stanu,
     * porównuje ich etykiety ze znakiem
     * (tzn.characters.charAt(from)) z wprowadzonego napisu,
     * jeśli sie zgadzają, porównuje stan docelowy przejścia.
     */
    private void check(String text, int from, int toEnd, State state) {
        if (from > toEnd) {
            if (automaton.isFinal(state)) {
                accept = true;
            }
        } else {
            List<OutgoingTransition> allOutTransitions;
            allOutTransitions = automaton.allOutgoingTransitions(state);
            if (!allOutTransitions.isEmpty()) {
                for (OutgoingTransition transition : allOutTransitions) {
                    TransitionLabel currentLabel = transition.getTransitionLabel();
                    if (currentLabel.canBeEpsilon()) {
                        throw new RuntimeException();
                    }
                    if (currentLabel.canAcceptCharacter(text.charAt(from))) {
                        check(text, from + 1, toEnd, transition.getTargetState());
                    }
                    if (accept) {
                        return;
                    }
                }
            }
        }
    }

    @Override
    public boolean accepts(final String text) {
        accept = false;
        try {
            check(text, 0, text.length() - 1, automaton.getInitialState());
        } catch (RuntimeException e) {
            accept = false;
        }
        return accept;
    }

    private final AutomatonSpecification automaton;
    private boolean accept;
}