*/
public class RopeBasedISTest {
@Test
public void testABConDFA() {
DFABuilder forward = new DFABuilder(4, 0, 1);
forward.state(0).transitions('a', 1, null, 0);
forward.state(1).transitions('b', 2, null, 0);
forward.state(2).transitions('c', 3, null, 0);
forward.state(3, 0).transitions(null, 3);
DFABuilder backward = new DFABuilder(4, 0, 1);