Examples of AutomatonSpecification

Examples of pl.edu.amu.wmi.daut.base.AutomatonSpecification

15
16
17
18
19
20
21
22
23
24
25
26
    @Override
    public AutomatonSpecification createAutomatonFromTwoAutomata(
            AutomatonSpecification leftSubautomaton, AutomatonSpecification rightSubautomaton) {

        AutomatonSpecification automatonLR = new NaiveAutomatonSpecification();
        AutomatonSpecification automatonRL = new NaiveAutomatonSpecification();

        concatenate(leftSubautomaton, rightSubautomaton, automatonLR);
        concatenate(rightSubautomaton, leftSubautomaton, automatonRL);

        return AutomataOperations.sum(automatonLR, automatonRL);
View Full Code Here

Examples of pl.edu.amu.wmi.daut.base.AutomatonSpecification

34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
     * Generuje automat.
     */
    @Override
    public AutomatonSpecification createFixedAutomaton() {

        AutomatonSpecification automaton = new NaiveAutomatonSpecification();
        State q0 = automaton.addState();
        State q1 = automaton.addState();
        automaton.markAsInitial(q0);
        automaton.markAsFinal(q1);

        automaton.addTransition(q0, q1, new CharClassTransitionLabel(str));

        return automaton;
    }
View Full Code Here

Examples of pl.edu.amu.wmi.daut.base.AutomatonSpecification

28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
    * Glowna metoda klasy.
    */
    public AutomatonSpecification createAutomatonFromOneAutomaton(
            AutomatonSpecification subautomaton) {

        AutomatonSpecification finalAutomaton = new NaiveAutomatonSpecification();
        if (this.min > this.max) {
            return finalAutomaton;
        } else {
            finalAutomaton = subautomaton.clone();
            if (this.min == 0) {
                finalAutomaton.markAsFinal(finalAutomaton.getInitialState());
                if (this.max == 0) {
                    for (State state : finalAutomaton.allStates()) {
                        finalAutomaton.unmarkAsFinalState(state);
                    }
                    finalAutomaton.markAsFinal(finalAutomaton.getInitialState());
                }
            }

            for (int i = 1; i < this.max; i++) {
                State newState = finalAutomaton.addState();

                for (State state : finalAutomaton.allStates()) {
                    if (finalAutomaton.isFinal(state)) {
                        finalAutomaton.addTransition(state, newState, new EpsilonTransitionLabel());
                        if (i < this.min)
                            finalAutomaton.unmarkAsFinalState(state);
                    }
                }
                finalAutomaton.insert(newState, subautomaton);
            }
        }
        return finalAutomaton;
    }
View Full Code Here

Examples of pl.edu.amu.wmi.daut.base.AutomatonSpecification

24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
     * Główna metoda klasy.
     */
    public AutomatonSpecification createAutomatonFromOneAutomaton(
            AutomatonSpecification subautomaton) {

        AutomatonSpecification automatbudowany = new NaiveAutomatonSpecification();

        if (numberOfOccurrences == 0) {
            State state = automatbudowany.addState();
            automatbudowany.markAsInitial(state);
            automatbudowany.markAsFinal(state);
        }

        if (numberOfOccurrences > 0) {
            automatbudowany = subautomaton.clone();
            for (int i = 1; i < numberOfOccurrences; i++) {
                State newState = automatbudowany.addState();

                for (State state : automatbudowany.allStates()) {
                    if (automatbudowany.isFinal(state)) {
                        automatbudowany.addTransition(state,
                                    newState,
                                    new EpsilonTransitionLabel());
                        automatbudowany.unmarkAsFinalState(state);
                    }
                }
                automatbudowany.insert(newState, subautomaton);
            }
        }
        return automatbudowany;
    }
View Full Code Here

Examples of pl.edu.amu.wmi.daut.base.AutomatonSpecification

245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
     * Generuje automat.
     */
    @Override
    public AutomatonSpecification createFixedAutomaton() {

        AutomatonSpecification automaton = new NaiveAutomatonSpecification();
        State q0 = automaton.addState();
        State q1 = automaton.addState();
        automaton.markAsInitial(q0);
        automaton.markAsFinal(q1);

        automaton.addTransition(q0, q1, new CharClassTransitionLabel(str));

        return automaton;
    }
View Full Code Here

Examples of pl.edu.amu.wmi.daut.base.AutomatonSpecification

24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
     * Glowna metoda klasy.
     */
    public AutomatonSpecification createAutomatonFromOneAutomaton(
            AutomatonSpecification subautomaton) {

        AutomatonSpecification newAutomaton = new NaiveAutomatonSpecification();

        if (numberOfOccurences == 0) {
            State state = newAutomaton.addState();
            newAutomaton.markAsInitial(state);
            newAutomaton.markAsFinal(state);
        }

        if (numberOfOccurences > 0) {
            newAutomaton = subautomaton.clone();
            for (int i = 1; i < numberOfOccurences; i++) {
                State newState = newAutomaton.addState();

                for (State state : newAutomaton.allStates()) {
                    if (newAutomaton.isFinal(state)) {
                        newAutomaton.addTransition(state, newState, new EpsilonTransitionLabel());
                        newAutomaton.unmarkAsFinalState(state);
                    }
                }
                newAutomaton.insert(newState, subautomaton);
            }
            State newState = newAutomaton.addState();
            newAutomaton.insert(newState, subautomaton);
            for (State state : newAutomaton.allStates()) {
                if (newAutomaton.isFinal(state)) {
                    newAutomaton.addTransition(state, newState, new EpsilonTransitionLabel());
                }
            }
        }
        return newAutomaton;
    }
View Full Code Here

Examples of pl.edu.amu.wmi.daut.base.AutomatonSpecification

12
13
14
15
16
17
18
19
20
21
22
23
24
25
public class NoDigitOperator extends NullaryRegexpOperator {
    /**
     * Główna metoda klasy.
     */
    public AutomatonSpecification createFixedAutomaton() {
        AutomatonSpecification noDigitAutomaton = new NaiveAutomatonSpecification();
        State state1 = noDigitAutomaton.addState();
        State state2 = noDigitAutomaton.addState();
        noDigitAutomaton.addTransition(state1, state2,
                new ComplementCharClassTransitionLabel("0-9"));
        noDigitAutomaton.markAsInitial(state1);
        noDigitAutomaton.markAsFinal(state2);
        return noDigitAutomaton;
    }
View Full Code Here

Examples of pl.edu.amu.wmi.daut.base.AutomatonSpecification

49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
            for (RegexpOperatorTree subTree : current.getSubtrees()) {

                //nie będzie tutaj odwołania do nieistniejących kluczy ze
                //wzgl. na charakter porządku post-order. jeśli wystąpi tutaj
                //exception, to znaczy, że źle zaimplementowaliśmy coś wcześniej.
                AutomatonSpecification subTreeAutomaton = map.get(subTree);
                arguments.add(subTreeAutomaton);
            }

            //utwórz automat, którego argumentami są automaty wszystkich synów.
            AutomatonSpecification currentAutomaton = current.getRoot().createAutomaton(
                                                                             arguments);
            //zapamiętaj automat dla danego wierzchołka. ponieważ liście się
            //wykonają "najpierw", to nadchodzący po tym rodzice tych liści
            //będą mieli pełną informację o automatach utworzonych przez
            //swoich synów...
View Full Code Here

Examples of pl.edu.amu.wmi.daut.base.AutomatonSpecification

32
33
34
35
36
37
38
39
40
41
42
            // ExtendedPosixRegexpOperatorManager manager = new ExtendedPosixRegexpOperatorManager();

            RegexpOperatorTree tree = new RegexpOperatorTree(null, null);
            //tree = RegexpOperatorTree.parse(inputRegex, manager);

            AutomatonSpecification automaton = RegexpUtilities.createAutomatonFromOperatorTree(
                tree);

            DeterministicAutomatonSpecification deterministicAutomaton =
                new EffectiveDeterministicAutomaton();
View Full Code Here

Examples of pl.edu.amu.wmi.daut.base.AutomatonSpecification

15
16
17
18
19
20
21
22
23
24
25
26
27
28
    /**
     * Główna metoda klasy.
     */
    @Override
    public AutomatonSpecification createFixedAutomaton() {
        AutomatonSpecification noWhitespaceAutomaton = new NaiveAutomatonSpecification();
        State state1 = noWhitespaceAutomaton.addState();
        State state2 = noWhitespaceAutomaton.addState();
        noWhitespaceAutomaton.addTransition(state1, state2,
              new ComplementCharClassTransitionLabel(WHITESPACE_CHARS));
        noWhitespaceAutomaton.markAsInitial(state1);
        noWhitespaceAutomaton.markAsFinal(state2);
        return noWhitespaceAutomaton;
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.