src/test/java/de/dfki/lt/loot/fsa/TestCharFsa.java
@Test
  public void testComplex4()
      throws IOException {

    String testRegExp = "ABAB(X*|Y)*";
    // create automaton and determine it
    CharFsa automaton = CharFsa.compileRegex(testRegExp);
    CharFsa detAutomaton = automaton.determinize();
    // write automatons as .gif images
    //writeGraphs(automaton, detAutomaton, "08");
    // check automatons
    assertEquals(14, automaton.getNumberOfActiveVertices());
    assertEquals(7, detAutomaton.getNumberOfActiveVertices());
  }
/**
   * Tests automaton creation for a complex regular expression.
   *
   * @throws IOException
   *           if conversion to .gif images fails
   */
Tests automaton creation for a complex regular expression.

@throws IOException
if conversion to .gif images fails
Tests automaton creation for a complex regular expression . @throws IOException if conversion to . gif images fails
@Test
  public void testComplex4()
      throws IOException {
    String testRegExp = "ABAB(X*|Y)*";
    CharFsa automaton = CharFsa.compileRegex(testRegExp);
    CharFsa detAutomaton = automaton.determinize();
    assertEquals(14, automaton.getNumberOfActiveVertices());
    assertEquals(7, detAutomaton.getNumberOfActiveVertices());
  }
@ Test public void testComplex4 ( ) throws IOException { String testRegExp = "ABAB(X*|Y)*" ; CharFsa automaton = CharFsa . compileRegex ( testRegExp ) ; CharFsa detAutomaton = automaton . determinize ( ) ; assertEquals ( 14 , automaton . getNumberOfActiveVertices ( ) ) ; assertEquals ( 7 , detAutomaton . getNumberOfActiveVertices ( ) ) ; }
Tests automaton creation for a complex regular expression.
Tests automaton creation for a complex regular expression .
// create automaton and determine it
 // write automatons as .gif images
 //writeGraphs(automaton, detAutomaton, "08");
 // check automatons
