Package pl.edu.amu.wmi.daut.base

Examples of pl.edu.amu.wmi.daut.base.AutomatonByRecursion.accepts()


    public void testAutomatonFirst() {

        AutomatonByRecursion tmp = new AutomatonByRecursion(
            new CharClassOperator("1-3").createFixedAutomaton());

        assertTrue(tmp.accepts("2"));
        assertFalse(tmp.accepts("4"));
        assertTrue(tmp.accepts("3"));
    }

    /**
 
View Full Code Here


        AutomatonByRecursion tmp = new AutomatonByRecursion(
            new CharClassOperator("1-3").createFixedAutomaton());

        assertTrue(tmp.accepts("2"));
        assertFalse(tmp.accepts("4"));
        assertTrue(tmp.accepts("3"));
    }

    /**
     * Konstruuje przykładowy automat, a następnie go testuje.
View Full Code Here

        AutomatonSpecification spec = operator.createFixedAutomaton();
        assertFalse(spec.isEmpty());
        assertFalse(spec.acceptEmptyWord());

        AutomatonByRecursion noDigitAutomaton = new AutomatonByRecursion(spec);
        assertFalse(noDigitAutomaton.accepts("0"));
        assertFalse(noDigitAutomaton.accepts("1"));
        assertFalse(noDigitAutomaton.accepts("2"));
        assertFalse(noDigitAutomaton.accepts("3"));
        assertFalse(noDigitAutomaton.accepts("4"));
        assertFalse(noDigitAutomaton.accepts("5"));
View Full Code Here

        assertFalse(spec.isEmpty());
        assertFalse(spec.acceptEmptyWord());

        AutomatonByRecursion noDigitAutomaton = new AutomatonByRecursion(spec);
        assertFalse(noDigitAutomaton.accepts("0"));
        assertFalse(noDigitAutomaton.accepts("1"));
        assertFalse(noDigitAutomaton.accepts("2"));
        assertFalse(noDigitAutomaton.accepts("3"));
        assertFalse(noDigitAutomaton.accepts("4"));
        assertFalse(noDigitAutomaton.accepts("5"));
        assertFalse(noDigitAutomaton.accepts("6"));
View Full Code Here

        assertFalse(spec.acceptEmptyWord());

        AutomatonByRecursion noDigitAutomaton = new AutomatonByRecursion(spec);
        assertFalse(noDigitAutomaton.accepts("0"));
        assertFalse(noDigitAutomaton.accepts("1"));
        assertFalse(noDigitAutomaton.accepts("2"));
        assertFalse(noDigitAutomaton.accepts("3"));
        assertFalse(noDigitAutomaton.accepts("4"));
        assertFalse(noDigitAutomaton.accepts("5"));
        assertFalse(noDigitAutomaton.accepts("6"));
        assertFalse(noDigitAutomaton.accepts("7"));
View Full Code Here

        AutomatonByRecursion noDigitAutomaton = new AutomatonByRecursion(spec);
        assertFalse(noDigitAutomaton.accepts("0"));
        assertFalse(noDigitAutomaton.accepts("1"));
        assertFalse(noDigitAutomaton.accepts("2"));
        assertFalse(noDigitAutomaton.accepts("3"));
        assertFalse(noDigitAutomaton.accepts("4"));
        assertFalse(noDigitAutomaton.accepts("5"));
        assertFalse(noDigitAutomaton.accepts("6"));
        assertFalse(noDigitAutomaton.accepts("7"));
        assertFalse(noDigitAutomaton.accepts("8"));
View Full Code Here

        AutomatonByRecursion noDigitAutomaton = new AutomatonByRecursion(spec);
        assertFalse(noDigitAutomaton.accepts("0"));
        assertFalse(noDigitAutomaton.accepts("1"));
        assertFalse(noDigitAutomaton.accepts("2"));
        assertFalse(noDigitAutomaton.accepts("3"));
        assertFalse(noDigitAutomaton.accepts("4"));
        assertFalse(noDigitAutomaton.accepts("5"));
        assertFalse(noDigitAutomaton.accepts("6"));
        assertFalse(noDigitAutomaton.accepts("7"));
        assertFalse(noDigitAutomaton.accepts("8"));
        assertFalse(noDigitAutomaton.accepts("9"));
View Full Code Here

        assertFalse(noDigitAutomaton.accepts("0"));
        assertFalse(noDigitAutomaton.accepts("1"));
        assertFalse(noDigitAutomaton.accepts("2"));
        assertFalse(noDigitAutomaton.accepts("3"));
        assertFalse(noDigitAutomaton.accepts("4"));
        assertFalse(noDigitAutomaton.accepts("5"));
        assertFalse(noDigitAutomaton.accepts("6"));
        assertFalse(noDigitAutomaton.accepts("7"));
        assertFalse(noDigitAutomaton.accepts("8"));
        assertFalse(noDigitAutomaton.accepts("9"));
        assertFalse(noDigitAutomaton.accepts("12"));
View Full Code Here

        assertFalse(noDigitAutomaton.accepts("1"));
        assertFalse(noDigitAutomaton.accepts("2"));
        assertFalse(noDigitAutomaton.accepts("3"));
        assertFalse(noDigitAutomaton.accepts("4"));
        assertFalse(noDigitAutomaton.accepts("5"));
        assertFalse(noDigitAutomaton.accepts("6"));
        assertFalse(noDigitAutomaton.accepts("7"));
        assertFalse(noDigitAutomaton.accepts("8"));
        assertFalse(noDigitAutomaton.accepts("9"));
        assertFalse(noDigitAutomaton.accepts("12"));
        assertFalse(noDigitAutomaton.accepts("123"));
View Full Code Here

        assertFalse(noDigitAutomaton.accepts("2"));
        assertFalse(noDigitAutomaton.accepts("3"));
        assertFalse(noDigitAutomaton.accepts("4"));
        assertFalse(noDigitAutomaton.accepts("5"));
        assertFalse(noDigitAutomaton.accepts("6"));
        assertFalse(noDigitAutomaton.accepts("7"));
        assertFalse(noDigitAutomaton.accepts("8"));
        assertFalse(noDigitAutomaton.accepts("9"));
        assertFalse(noDigitAutomaton.accepts("12"));
        assertFalse(noDigitAutomaton.accepts("123"));
        assertFalse(noDigitAutomaton.accepts("abc"));
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.